标签:#哥德尔奖获得者

共 10 篇文章

丹·博内

丹·博内(,,)是斯坦福大学应用密码学和计算机安全领域的以色列裔美国教授。 2016年,由于对密码学和计算机安全的理论和实践的贡献,博内被选为美国国家工程院院士。 生平 丹·博内1969年生于以色列,并于1996年从普林斯顿大学获得计算机科学Ph.D.学位,师从Richard J. Lipton。 博内与加州大学戴维斯分校的Matt Franklin是发展的主要贡献者之一。他于1997年加入斯坦福大学,成为计算机科学和电气工程教授。他在…

洛瓦斯·拉斯洛

洛瓦斯·拉斯洛(,,)是一位匈牙利数学家,主要以在组合数学中的贡献知名。他因此在1999年被授予沃尔夫数学奖和高德納獎,在2010年被授予京都獎。他从2014年起担任匈牙利科学院院长至今。他于2007年1月至2010年12月31日担任国际数学联盟主席。 生平 洛瓦斯于1948年3月9日出生于布达佩斯市。他的父亲是一位外科医生。洛瓦斯14岁的时候读到了埃尔德什·帕尔写的一篇数学文章并为之着迷。一年后他结识了埃尔德什。两人成为好友,谈论数学…

莎菲·戈德瓦塞尔

莎弗莉拉·「莎菲」·戈德瓦塞尔 (;;),出生于美国,以色列计算机科学家。麻省理工学院电子工程和计算机科学的一名教授,以色列魏茨曼科學研究學院数学科学的一名教授。2012年她和希爾維奧·米卡利因其密码学的杰出工作获得图灵奖。她是美国工程院院士。 生平 戈德瓦塞尔出生于纽约市,1979年在卡内基梅隆大学获得数学和科学的學士学位,在加州大學柏克萊分校的计算机科学领域十分杰出曼纽尔·布卢姆的指导下于1981年获得该校计算机科学硕士学位,198…

滕尚华

滕尚华(,),南加州大学计算机科学教授,上海交大1985届电工系及计算机科学系双学士。 生平 2008年第一次获得哥德尔奖。2009年当选美国计算机协会会士(ACM fellow),2009年获得由与美国数学学会颁发的富尔克森奖。2015年再次荣膺哥德尔奖,获奖系列论文是近线性时间拉普拉斯求解器。哥德尔奖是理论计算机科学的世界权威奖项。 参考文献

彼得·秀爾

彼得·威利斯顿·秀爾(,),出生於美國紐約市,美國計算機科學家,目前為美國麻省理工學院的應用數學系教授,提出了在量子電腦應用上的「秀爾演算法」(又稱量子質因數分解演算法),因其證明量子電腦能做出對數運算,而且速度遠勝傳統電腦,對於現在通行於銀行及網路等處的RSA加密演算法可以破解而構成威脅。 生平事蹟 在他求學生涯結束後, 他花了一年的時間在柏克萊加州大學當博士後研究員(post-doctoral),隨後則去了貝爾實驗室當研究員,這裡也…

諾加·阿隆

諾加·阿隆(;)是以色列數學家和普林斯頓大學數學教授,以對組合學和理論計算機科學的貢獻著稱。 現為美國普林斯頓大學數學教授 他是以色列科學與人文學院 and a lecture in the 1990 International Congress of Mathematicians. 研究 Alon has published more than five hundred research papers, mostly in combi…

阿利斯泰爾·辛克萊爾

阿利斯泰爾·辛克萊爾(,),英國電腦科學家與計算理論家,曾獲哥德爾獎。 辛克萊爾於1979年大學畢業於劍橋大學,隨後於1988年自愛丁堡大學得到電腦科學博士學位,目前在柏克萊加州大學任教,並在愛丁堡大學、DIMACS、柏克萊國際電腦科學院都曾有任職。 註釋 外部連結 *

摩西·瓦尔迪

摩西·雅科夫·瓦尔迪(,)是一位以色列数学家和计算机科学家。他是美国萊斯大學计算工程系凯伦·奥斯特鲁姆·乔治杰出服务教授。 和肯尼迪研究所的教员顾问。 他的兴趣集中在逻辑在计算机科学中的应用,包括数据库理论、有限模型理论、多智能体系统知识、计算机辅助验证和推理,以及跨课程的逻辑教学。他是模型检查、约束满足和数据库理论、常识(逻辑)和理论计算机科学方面的专家。 瓦尔迪撰写或合著了 600 多篇技术论文 ,并编辑了多本论文集。他与Ronal…

赫里斯托斯·帕帕季米特里乌

。]] 赫里斯托斯·哈里劳斯·帕帕季米特里乌(,羅馬化:Christos Harilaos Papadimitriou,)是一名生於希臘的電腦科學家,現任教於柏克萊加州大學。帕帕季米特里乌在演算法領域做出研究,並曾先後任教於哈佛大學、麻省理工學院、國立雅典理工大學、史丹佛大學、聖地牙哥加利福尼亞大學、與柏克萊加州大學。 成就 帕帕季米特里乌在複雜度理論等方面的貢獻使他獲得了高德納獎,並使他成為了美國國家科學院與美國國家工程學院院士。 他…

希爾維奧·米卡利

希爾維奧·米卡利 (,),出生于意大利帕勒莫,现在在麻省理工學院電腦科學和人工智能实验室任职的计算机科学家。从1983年起,他是麻省理工學院电子工程和计算机科学部门的一名计算机科学教授,主要研究密码学和信息安全的理论。他也是区块链平台阿尔戈兰德的创始人。 奖项 1993年米卡利获得哥德尔奖。2007年,他被选为美国工程院院士,美国艺术与科学院院士。2012年希爾維奧·米卡利和莎菲·戈德瓦塞尔因其密码学的杰出工作获得图灵奖。 参照 外部链…