Ben Brosgol

Registered user since Tue 10 Nov 2020

Name: Ben Brosgol

Bio: Dr. Benjamin Brosgol is a member of the senior technical staff of AdaCore. He has been involved with programming language design and implementation throughout 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.

Country: United States

Affiliation: AdaCore

Research interests: Programming languages, safety-critical software, Ada, DO-178C


HILT 2020Committee Member in Program Committee within the HILT 2020-track
ESEC/FSE 2020Author of How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience within the Journal First-track
Author of Conversations on Productivity within the Paper Presentations-track
HILT 2018Committee Member in Program Committee within the HILT 2018-track