美国国家工程院院士Gerard J. Holzmann加入亚太人工智能学会

欢迎美国国家工程院院士、ACM会士、加州理工学院计算机与数学科学研究员、Nimble Research公司创始人、美国宇航局（NASA）杰出工程成就奖获得者、ACM Kanellakis理论与实践奖获得者Gerard J. Holzmann院士加入亚太人工智能学会！

01

职业生涯

Holzmann出生于荷兰阿姆斯特丹，1976年获得代尔夫特理工大学电气工程工程师学位。随后，他还于1979年在代尔夫特大学获得博士学位，师从W.L. van der Poel和J.L. de Kroes，论文题为“多处理系统中的协调问题”。在获得富布赖特学者后，他在南加州大学又做了一年的研究生，在那里他与Per Brinch Hansen一起工作。

1980年，他开始在默里山的贝尔实验室工作了一年。回到荷兰后，他在代尔夫特理工大学担任了两年的助理教授。1983年，他回到贝尔实验室，在计算科学研究中心（前Unix研究小组）工作。2003年，他加入了NASA，领导位于加利福尼亚州帕萨迪纳的NASA JPL可靠软件实验室，并且是JPL研究员。

02

科学 - 活动和出版物

Holzmann院士以1980 年代在贝尔实验室开发的 SPIN 模型检查器（SPIN 是 Simple Promela 解释器的缩写）而闻名。“对于SPIN，一个非常成功且广泛使用的软件模型检查系统，基于计算机科学的”形式化方法”。它使先进的理论验证方法适用于大型和高度复杂的软件系统。

03

奖项和荣誉

1981年，Holzmann被荷兰皇家工程师学会授予巴赫勒教授奖，2005年获得巴黎卡内拉基斯理论与实践奖，2012年10月获得NASA杰出工程成就奖章。Holzmann于2005年当选为美国国家工程院院士。2011年，他被选为计算机协会会员。

亚太人工智能学会成立于2021年4月，经过两年多的发展，亚太人工智能学会（AAIA）院士数量达到1623位。通过对全球主流人工智能学会官网数据的统计分析发现，与同级别的国际人工智能组织相比，亚太人工智能学会（AAIA）的院士数量和质量都非常领先。