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.
He can be reached via email at brosgol at adacore.com