欢迎欧洲科学院院士、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年，苏联乌拉尔数学学会青年数学家奖

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