SofCheck : Software Analysis and Verification : Company Information
SofCheck logo          
SofCheck logo
Products
Solutions
Company
Resources
News & Events
Careers
Home Site Map Contact Site Map
spacer spacer spacer spacer
 

– Company Information

> Management Team

> Technical Team
     - S. Tucker Taft
     - Mireille Gart
     - Sheri Bernstein
     - Mahua Roy
     - Michael Cleaves

> Advisory Board

> Customers

> Partners

> Contact Us

  Sheri Bernstein, Principal Engineer
 
   

Sheri BernsteinMs. Bernstein is responsible for SofCheck’s Ada compiler technologies. and has 21 years of experience in language tools design and construction. She is the author of a paper entitled “Programming DSPs Using C” (presented at Electro ’93) and co-author of “Optimizing Ada On-The-Fly” (presented at SIGAda ’99).

Ms. Bernstein received a B.A. in Computer Science (magna cum laude) from Brandeis University.

 

 

 

 

 
     
Home  |  Products  |  Company  |  News & Events  |  Careers    
Site Map  |  Contact

© 2002-2010 SofCheck, Inc. All rights reserved.
SofCheck, SofCheck Inspector, AdaMagic, ERA Framework,
and SofPort are trademarks of SofCheck, Inc.