广东
欢迎欧洲科学院院士、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）的院士数量和质量都非常领先。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
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.
