曼纽尔·布卢姆 （1995年图灵奖得主）

时间

职务

1960年-1965年

麻省理工学院电子研究实验室沃伦·麦卡洛克博士的研究助理和实验室研究助理

1966年-1968年

麻省理工学院数学助理教授

1968年-2001年

加州大学伯克利分校电子工程与计算机科学系客座助理教授、副教授、教授

1977年-1980年

加州大学伯克利分校计算机科学系副主任

1995年-2001年

加州大学伯克利分校阿瑟·奇克计算机科学教授

1997年-1999年

香港城市大学计算机科学系客座教授

2001年

卡耐基梅隆大学布鲁斯·纳尔逊（Bruce Nelson）计算机科学教授

2020年6月15日

北京大学访问讲席教授

参考资料：

时间

论文名

出版刊物

合作者

1994年

Checking the Correctness of Memories

Algorithmica

W. Evans、P. Gemmell、S. Kannan、M. Naor

1995年

Program Result-Checking: A Theory of Testing Meets a Test of Theory

invited plenary lecture to 35th IEEE FOCS

H. Wasserman

On the Problem of Sorting Burnt Pancakes

Discrete Applied Mathematics

D. Cohen

1996年

Reflections on the Pentium Division Bug

IEEE Transactions on Computers

—

1997年

Software Reliability Via Rtm-Time Result-Checking

JACM

Hal Wasserman

2001年

Secure Human Identification Protocols

ASIACRYPT

Nicholas J. Hopper

2002年

On the complexity of MAX / MIN / AVRG Circuits

CMU SCS Technical Report

Rachel Rue、Ke Yang

2003年

CAPTCHA: Using Hard AI Problems for Security

Advances in Cryptology - EUROCRYPT

Luis von Ahn、Nicholas J. Hopper、John Langford

2004年

Telling Humans and Computers Apart Automatically: How Lazy Cryptographers do AI

Communications of the ACM

Luis von Ahn、Manuel Blum、John Langford

2005年

Toward a High-level Definition of Consciousness、

Invited Talk to the Annual IEEE Computational Complexity Conference、 San Jose CA

Ryan Williams Brendan Juba、Matt Humphrey

2006年

Peekaboom: A game for locating objects in images

ACM CHI Notes

Luis von Ahn、Ruoran Liu

Verbosity: A game for collecting common-sense facts

ACM CHI Notes

Luis von Ahn、 Mihir Kedia

Improving accessibility of the web with a computer game

ACM CHI Notes

Luis von Ahn、Shiry Ginosar、Mihir Kedia、Ruoran Liu

2016年

ClaimEval: Integrated and Flexible Framework for Claim Evaluation Using Credibility of Sources

AAAI Conference on Artificial Intelligence

Mehdi Samadi、Partha Pratim Talukdar、Manuela M. Veloso

2017年

Towards Human Computable Passwords

arXiv：Cryptography and Security

Jeremiah Blocki、Anupam Datta、Santosh Vempala

2019年

Human-Usable Password Schemas: Beyond Information-Theoretic Security

arXiv：Cryptography and Security

Elan Rosenfeld、Santosh Vempala

2020年

The Complexity Of Human Computation Via A Concrete Model With An Application To Passwords

Proceedings of the National Academy of Sciences of the United States of America

Santosh Vempala

2022年

A Theory of Consciousness from a Theoretical Computer Science Perspective: Insights from the Conscious Turing Machine

Proceedings of the National Academy of Sciences of the United States of America

Lenore Blum

2023年

Viewpoint: A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence

CoRR

Lenore Blum

参考资料：

公开(公告)日

专利名

公开(公告)号

申请(专利权)人

2008年7-31日

Controlling access to computer systems and for annotating media files

WO2008091675A1

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

Controlling access to computer systems and for annotating media files

AU2008209429A1

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

Controlling access to computer systems and for annotating media files

CA2676395A1

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2009年10月21日

Controlling access to computer systems and for annotating media files

EP2109837A1

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2009年11月11日

Controlling access to computer systems and for annotating media files

KR20090116750A

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2010年8月31日

Method，apparatus，and system for object recognition，object segmentation and knowledge acquisition

US07785180B1

Luis Von Ahn、Ruoran Liu、Manuel Blum、Alexei A. Efros、Maria Manuela Veloso

Method，apparatus，and system for object recognition，object segmentation and knowledge acquisition

US7785180B1

Luis Von Ahn、Ruoran Liu 、Manuel Blum、Alexei A. Efros、Maria Manuela Veloso

2013年6月19日

Controlling access to computer systems and annotating media files

EP2605171A2

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2013年10月8日

Methods and apparatuses for controlling access to computer systems and for annotating media files

US8555353B2

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2014年6月26日

Methods and apparatuses for controlling access to computer systems and for annotating media files

US2014181960A1

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

2017年3月21日

Methods and apparatuses for controlling access to computer systems and for annotating media files

US9600648B2

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

Methods and apparatuses for controlling access to computer systems and for annotating media files

US09600648B2

Luis Von Ahn、Manuel Blum、Benjamin D. Maurer

参考资料：

立项时间

项目名

参与人

1972年-1976年

Research Into Complexity Theory and Related Areas

Manuel Blum

1975年-1979年

Research in Complexity Theory and Inference

Manuel Blum

1976年-1978年

Research in Complexity Theory and Inference

Manuel Blum

1979年-1982年

Complexity Theory and the Study of Automata in Two and ThreeDimensional Space

Manuel Blum

1982年-1986年

Transaction Protection Protocols (Computer Research)

Manuel Blum

1985年-1989年

Cryptography and Computational Complexity

Manuel Blum

1988年-1992年

Testing Program Correctness

Manuel Blum

1992年-1995年

Program Checking

Manuel Blum

2000年-2003年

ITR: Algorithms: From Theory to Application

Manuel Blum、Guy Blelloch、John Lafferty、Daniel Sleator、vrim Blum

参考资料：

时间

课程

2016年秋

专题：理论密码学导论

2017年春

大学生复杂性理论

2020年春

有意识的图灵机：认知与计算科学

时间

荣誉

1968年

斯隆研究奖学金

1977年

加州大学伯克利分校杰出教学奖

1982年

美国电气与电子工程师协会会士（IEEE fellow）

1983年

美国科学促进会会士（AAAS fellow）

1991年

西格玛·希的莫尼·a·弗斯奖

1995年

美国艺术与科学院院士

1995年

图灵奖（A.M. Turing Award）

2002年

美国国家科学院院士

2006年

美国国家工程院院士

2007年5月8日

赫伯特A.西蒙教学奖

参考资料：