欧洲科学院院士Yuri Gurevich加入欧洲经济研究院

欢迎欧洲科学院院士、ACM会士、AAAS会士、欧洲理论计算机科学学会(EATCS)会士、美国古根海姆学者、美国密歇根大学计算机科学与工程教授Yuri Gurevich院士加入欧洲经济研究院！

01

职业生涯

Yuri Gurevich于1962年获得乌拉尔国立大学数学硕士学历；1964年获得乌拉尔国立大学数学博士学位；1968年获得乌拉尔国立大学数学博士（俄罗斯博士后学位）。

02

科学 - 活动和出版物

学术领域：

• 计算机安全，特别是访问控制和安全策略
• 数理逻辑与复杂性理论
• 基于模型的测试
• 软件规范
• 
  

1982-98 年，Gurevich院士在密歇根大学任教。就这一时期而言，他最出名的是他在有限模型理论、平均情况复杂性理论方面的工作，尤其是抽象状态机 （ASM） 的发明和 ASM 理论的发展。ASM 在其原生抽象级别上模拟任意算法。

接下来的 20 年里，Gurevich院士在 Microsoft Research 工作，他的团队构建了一个基于 ASM 的工具，当欧盟要求 Microsoft 提供各种高级可执行规范时，该工具帮助了 Microsoft。后来，Gurevich院士从事访问控制、各种隐私和安全项目以及量子计算。

Gurevich院士是 ACM 研究员、古根海姆研究员、欧洲科学院院士。2014年，他成为欧洲理论计算机科学协会的十位创始研究员之一。

03

奖项和荣誉

• 2010-2011年艾森施塔特主席
• YuriFest，2010 年
• 2008年，欧洲科学院信息学部外籍院士
• 2005年，俄罗斯叶卡捷琳堡乌拉尔国立大学荣誉博士
• 2003年，太平洋数学研究所杰出主席
• Gurevich 研讨会，2000 年
• 1998年，比利时林堡大学（2005年更名为哈瑟尔特大学）荣誉博士
• 1997年，美国计算机协会会士
• 约翰·西蒙·古根海姆纪念基金会会员，1995年
• 1995年赫尔辛基大学杰出访问学者奖章
• 密歇根大学奖项
• 工程学院卓越研究奖， 1997 - 98
• 1995 - 96 年，大学教师认可
• 1993 - 94 年 EECS 系卓越教学奖
• 1990 - 91 大学杰出教师成就奖
• 1962年和1966年，苏联乌拉尔数学学会青年数学家奖

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

www.eeri-edu.org

UKofficeaddress：1stFloor330HighHolbornLONDONWC1V7QH

AddressofGermanoffice:L7,168161MannheimGermany

HeadquartersAddressintheUnitedStates：NationalAcademyofSciences500FifthStreet,NWWashington,DC20001