Lee Pellegrini摄
让-巴蒂斯特·特里斯坦, 莫里西艺术与科学学院计算机科学系副教授, 是2021年计算机协会软件系统奖的七名共同获得者之一，以表彰对影响日常技术用户的开创性太阳城官网和实际应用的贡献.
Tristan与开发CompCert的法国和德国同事分享了该奖项, 第一个实际有用的软件不是通过编写代码而是通过从软件的数学证明中提取指令集来开发的, 导致无错误的构造.
根据ACM, 这个奖项, 哪个是35美元,000, ibm提供奖, 认可具有“持久影响”的软件系统开发人员, 反映在对概念的贡献上, 在商业上接受, 或两个.”
尽管自20世纪60年代以来，人们已经了解了计算机程序和数学证明之间的深刻对应关系, 以这种方式设计软件的难度限制了它对玩具样例的影响,特里斯坦解释道。, 他于2020年8月加入太阳城网赌平台，之前曾在哈佛大学担任客座讲师，并在伯灵顿的甲骨文实验室任职, 质量. “当它于2005年推出时, CompCert标志着通过从数学证明中提取出无错误软件的可能性取得了重大进展.”
CompCert继续作为法国国家数字科学与技术太阳城官网所的一个太阳城官网项目, 并且可以在商业和非商业许可下使用. 其他太阳城官网人员则以CompCert为基础, 许多公司将其用于安全关键应用程序.
“自然, 我们很高兴看到我们的同事获得如此崇高的荣誉,计算机科学系系主任霍华德·斯特劳宾说. “这个对极具影响力的太阳城官网实至名归的奖项，是太阳城网赌平台计算机科学系不断提升知名度的又一个标志.”
2021年4月, 特里斯坦和联合首席太阳城官网员约瑟夫·塔萨罗蒂, BC大学计算机科学系的助理教授, 收到了963美元,由美国国家科学基金会计算与通信基金会分部拨款189，用于通过概率编程语言提高人工智能软件的质量, 开发人工智能应用程序的核心工具.
ACM, 成立于1947年，总部设在纽约, 是世界上最大的教育和科学计算协会吗, 由近100人组成,000名计算机教育工作者, 太阳城官网人员, 专业人士, 和学生.
Phil Gloudemans |大学传播| 2022年5月