Ben Brosgol

Ben
Brosgol
Senior Technical Staff,
AdaCore

Dr. Benjamin Brosgol, a senior member of the technical staff of AdaCore, has been involved with programming language design and implementation for more than 25 years, concentrating on languages and technologies for high-reliability systems. He led the development of the "Red" language candidate at Intermetrics, participated in the design of both Ada 83 and Ada 95, and was editor of the Safety and Security Annex of the Ada 95 standard.

Under Sun Microsystems' Java Community Process Dr. Brosgol was a member of the Expert Group for JSR-001 (Real-Time Specification for Java, or "RTSJ"), and he is currently a member of the Expert Groups for JSR-282 (RTSJ v1.1) and JSR-302 (Safety-Critical Java Technology). Dr. Brosgol is a past chair of the ACM Special Interest Group on Ada (SIGAda). He has spoken widely on safety-critical software technology. He holds a B.A. in Mathematics from Amherst College, and M.S. and Ph.D. degrees in Applied Mathematics from Harvard University.

Articles
Ada 2012: The Joy of Contracts 1
The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design.
Commentaries and Blogs

Search Parts

 

Powered by:

The Original Electronics Parts Search And Procurment Tool
 

 

Newsletter Signup
Connect With Us

Sponsored Introduction Continue on to (or wait seconds) ×