Dr. Benjamin Brosgol is a senior member of the technical staff of AdaCore. He has been involved with programming language design and implementation for more than 30 years, concentrating on languages and technologies for high-integrity systems. Dr. Brosgol was a Distinguished Reviewer of the original Ada language specification and a member of the design team for the Ada 95 revision. He has presented dozens of papers and tutorials over the years at conferences including ACM SIGAda, Ada-Europe, SSTC (Systems & Software Technology Conference), and ICSE (IEEE/ACM International Conference on Software Engineering). He was a member of the Expert Groups for the Real-Time Specification for Java and for Safety-Critical Java, and participated in ISO SC22's Working Group on software vulnerabilities. He holds a BA in Mathematics from Amherst College, and MS and PhD degrees in Applied Mathematics from Harvard University.