- 我的订阅
- 社会
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
美国国家工程院院士加入欧洲经济研究院
欢迎美国国家工程院院士、ACM会士、加州理工学院计算机与数学科学研究员、NimbleResearch公司创始人、美国宇航局（NASA）杰出工程成就奖获得者、ACMKanellakis理论与实践奖获得者GerardJ.Holzmann院士加入欧洲经济研究院！
01
职业生涯
Holzmann出生于荷兰阿姆斯特丹，1976年获得代尔夫特理工大学电气工程工程师学位。随后，他还于1979年在代尔夫特大学获得博士学位，师从W.L.vanderPoel和J.L.deKroes，论文题为“多处理系统中的协调问题”。在获得富布赖特学者后，他在南加州大学又做了一年的研究生，在那里他与PerBrinchHansen一起工作。
1980年，他开始在默里山的贝尔实验室工作了一年。回到荷兰后，他在代尔夫特理工大学担任了两年的助理教授。1983年，他回到贝尔实验室，在计算科学研究中心（前Unix研究小组）工作。2003年，他加入了NASA，领导位于加利福尼亚州帕萨迪纳的NASAJPL可靠软件实验室，并且是JPL研究员。
02
科学-活动和出版物
Holzmann院士以1980年代在贝尔实验室开发的SPIN模型检查器（SPIN是SimplePromela解释器的缩写）而闻名。“对于SPIN，一个非常成功且广泛使用的软件模型检查系统，基于计算机科学的”形式化方法”。它使先进的理论验证方法适用于大型和高度复杂的软件系统。
03
奖项和荣誉
1981年，Holzmann被荷兰皇家工程师学会授予巴赫勒教授奖，2005年获得巴黎卡内拉基斯理论与实践奖，2012年10月获得NASA杰出工程成就奖章。Holzmann于2005年当选为美国国家工程院院士。2011年，他被选为计算机协会会员。
欧洲经济研究院，EuropeanEconomicResearchInstitute，简称（EERI），由欧洲多国科学家携手创立，在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿，于1988年由欧洲多国科学部长倡导创立，是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。
以上内容为资讯信息快照，由td.fyun.cc爬虫进行采集并收录，本站未对信息做任何修改，信息内容不代表本站立场。
快照生成时间：2025-01-20 11:45:02
本站信息快照查询为非营利公共服务，如有侵权请联系我们进行删除。
信息原文地址：
