|
2021
|
Prakash Panangaden，蒙特利尔麦吉尔大学 |
从互模拟到基于度量的表征学习 |
| 2020 |
Silvio Micali，麻省理工学院 |
ALGORAND：真正分布式的区块链 |
| 2019 |
Dexter Kozen，康奈尔大学 |
软件定义的网络和NetKAT语言系列 |
| 2018 |
乔治·戈特洛布，牛津大学 |
大数据和知识图的快速逻辑 |
| 2017 |
卢卡·卡德利，牛津大学微软研究院 |
告诉分子该做什么 |
| 2015 |
Cynthia Dwork，微软研究 |
富足之地的隐私 |
| 2014 |
沃尔夫冈·托马斯（Wolfgang Thomas），亚琛RWTH大学 |
有限自动机与无穷自动机
|
| 2013 |
Eva Tardos，康奈尔大学 |
游戏、拍卖、学习和无政府状态的价格 |
|
2012
|
Marta Kwiatkowska，牛津大学 |
感知无处不在：关于普适计算的定量验证 |
|
2011
|
约翰·休斯，查尔默斯理工大学 |
通过基于属性的测试发现工业Erlang代码中的竞争条件 |
|
2010
|
Stephen A.Cook，多伦多大学 |
逻辑和计算复杂性：个人视角 |
|
2009
|
Moshe Vardi，莱斯大学
|
逻辑开启了计算机科学：当巨人漫游地球
|
|
2008
|
Rajeev Alur，宾夕法尼亚大学
|
软件模型检查
|
|
2007
|
罗纳德·费金，IBM（Almaden）
|
有限模型理论——它是如何开始的
|
|
2006
|
麻省理工学院Shafi Goldwasser
|
论模糊处理的不可能性
|
|
2005
|
印度热拉尔·胡特
|
计算语言学平台的设计
|
|
2004
|
Mihalis Yannakakis，哥伦比亚大学
|
测试、优化和游戏
|
|
2003
|
剑桥大学Frank Kelly
|
互联网协议的公平性
|
|
2002
|
圣克鲁斯马丁·阿巴迪
|
安全协议：原理和计算
|
|
2001
|
Christos Papadimitriou，伯克利
|
与互联网相关的算法问题
|
|
2000
|
康奈尔大学Joseph Halpern
|
多智能体系统中的知识和公共知识
|
|
1999
|
Butler Lampson，微软研究
|
真实世界中的计算机安全
|
|
1998
|
埃米尔·普努利（Amir Pnueli），魏茨曼研究所
|
无功系统验证的时序逻辑
|
|
1997
|
Les Valiant，哈佛大学
|
认知计算
|
|
1996
|
Gerard Berry和Sophia Antipolis，矿业学院
|
无功系统的同步规划
|
