Dr. Benjamin Brosgol is a member of the senior technical staff of AdaCore. He has been involved with programming language design and implementation thoughout his career, concentrating on languages and technologies for high-assurance software. Dr. Brosgol was a member of the design team for Ada 95, and he has also served in the Expert Groups for several Java Specification Requests. He has presented papers and tutorials on safety and security certification on numerous occasions including ESC (Embedded Systems Conference), ICSE (IEEE/ACM International Conference on Software Engineering), STC (Software Technology Conference), ACM SIGAda, and Ada-Europe. Dr. Brosgol holds a BA in Mathematics from Amherst College, and MS and PhD degrees in Applied Mathematics from Harvard University.
- You think your software works? Prove it!
Formal methods have been quietly moving from the research lab into mainstream software development, especially in high-assurance systems. Using these methods isn't an "all or nothing" choice: Developers can use them at various levels, introduce them incrementally into an existing project, and combine them with code written in languages such as C or C++.