Benjamin Brosgol博士是AdaCore的高级技术人员。他从事编程语言设计和实现超过30年，专注于高完整性系统的语言和技术。Brosgol博士是原始Ada语言规范的杰出评审员，也是Ada 95修订版设计团队的成员。多年来，他在ACM SIGAda、Ada-Europe、SSTC(系统与软件技术会议)和ICSE (IEEE/ACM软件工程国际会议)等会议上发表了数十篇论文和教程。他是Java实时规范和Java安全关键专家组的成员，并参加了ISO SC22的软件漏洞工作组。他拥有Amherst College的数学学士学位，以及Harvard University的应用数学硕士和博士学位。