托马斯·亨泽尔教授加入欧洲经济研究院

B站影视 电影资讯 2025-03-29 12:07 1

摘要:汤姆·亨泽格是奥地利科学技术研究所(ISTA)教授,奥地利科学技术与创新委员会(FORWIT)主席,欧洲研究委员会(ERC)科学委员会成员。他拥有斯坦福大学(1991年)的博士学位,并获得格勒诺布尔的Fourier大学和布尔诺的马萨里克大学的荣誉博士学位。他是

汤姆·亨泽格是奥地利科学技术研究所(ISTA)教授,奥地利科学技术与创新委员会(FORWIT)主席,欧洲研究委员会(ERC)科学委员会成员。他拥有斯坦福大学(1991年)的博士学位,并获得格勒诺布尔的Fourier大学和布尔诺的马萨里克大学的荣誉博士学位。他是康奈尔大学计算机科学助理教授,加利福尼亚大学伯克利分校电气工程与计算机科学教授,萨尔布吕肯马克斯·普朗克计算机科学研究所所长,以及洛桑联邦理工学院计算机与通信科学教授。2009年至2022年间,他是ISTA的创始主席,欢迎加入欧洲经济研究院。

他的研究重点是软件系统的理论,特别是用于可靠软件系统设计和验证的模型、算法和工具。他的HyTech工具是第一个用于混合离散-连续系统的模型检查器。他获得了英国皇家学会的罗宾· milner 奖、欧洲理论计算机科学协会的 eatcs 奖以及奥地利科学基金的 wiener 奖。

专业职位

奥地利科学技术学院计算机科学教授

奖项

皇家学会米伦奖在形式化验证和综合反应式、实时和混合计算机系统理论与实践方面的基础性进展。

欧洲经济研究院,European Economic Research Institute,简称(EERI),由欧洲多国科学家携手创立,在英国、德国、俄罗斯、中国香港、美国等33个国家设有分支机构和办事处。总部位于美国华盛顿,是美国国家科学院设下欧洲经济研究院(五大国家学术院),于1988年由欧洲多国科学部长倡导创立,是欧洲经济研究院等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。

eeri@eeri-edu.org , usaeeri@eeri-edu.org

HeadquartersAddressintheUnitedStates:NationalAcademyofSciences500FifthStreet,NWWashington,DC20001

来源:MBA决策

相关推荐