广东
欢迎美国国家工程院院士、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年，他被选为计算机协会会员。
欧洲经济研究院，European Economic Research Institute，简称（EERI），由欧洲多国科学家携手创立，在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿，于1988年由欧洲多国科学部长倡导创立，是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
