埃里克·德梅因
埃里克·德梅因（Erik Demaine，）麻省理工学院计算机科学教授和前神童。 专业成就 Demaine于2001年加入麻省理工学院（MIT），据报道是麻省理工学院历史上最年轻的教授，并于2011年晋升为全职教授。 Erik和Martin Demaine的数学折纸艺术品是2008年现代艺术博物馆的设计和弹性心灵展览的一部分，并被列入MoMA永久收藏品。同年，他是“折叠之间”的特色艺术家之一，这是一部关于折纸从业者的国际纪录片，后来在P…
标签：#理论计算机科学家
共 11 篇文章
莎菲·戈德瓦塞尔
莎弗莉拉·「莎菲」·戈德瓦塞尔 （；；），出生于美国，以色列计算机科学家。麻省理工学院电子工程和计算机科学的一名教授，以色列魏茨曼科學研究學院数学科学的一名教授。2012年她和希爾維奧·米卡利因其密码学的杰出工作获得图灵奖。她是美国工程院院士。 生平 戈德瓦塞尔出生于纽约市，1979年在卡内基梅隆大学获得数学和科学的學士学位，在加州大學柏克萊分校的计算机科学领域十分杰出曼纽尔·布卢姆的指导下于1981年获得该校计算机科学硕士学位，198…
苏巴卡卡
苏巴卡卡（，Subhash Kak，）是美国籍印度计算机科学家，出生于斯利那加。现为俄克拉何马州立大学静水校区资深教授、賈瓦哈拉爾·尼赫魯大學客座教授，印度总理科学、技术与创新咨询委员会（PM-STIAC）成员。 卡卡发表过有关科学史，科学哲学，天文学史、数学史的论文，卡卡还发表过关于考古天文学的文章，并提倡土著雅利安人（）的思想。但其理论被其他许多学者批评。 2019年被印度政府授予莲花士勋章。 参考资料 *
唐纳德·布鲁斯·约翰逊
唐纳德·布鲁斯·约翰逊（，），美国计算机科学家，算法研究员，达特茅斯学院的计算机科学系主任。 个人经历 1973年，约翰逊在康奈尔大学取得了他的博士学位。之后他又先后担任宾夕法尼亚州立大学计算机科学系教授和达特茅斯学院数学系教授职位 ，约翰逊任系主任，此外提出了计算最短路的。 参考文献
然·拉茨
然·拉茨 (, ) 是一位专长于计算复杂性理论的计算机科学家。他现在是以色列魏茨曼科學研究學院数学与计算机科学学部的教授。 然·拉茨最著名的工作是交互式证明系统。他的引用数最多的两篇论文是：一篇是关于多证明者交互证明；另一篇是关于概率可验证证明. 然·拉茨曾于2002年获得保罗·埃尔德什奖(Erdős Prize)。他也曾多次获得理论计算机领域顶级会议的最佳论文奖项。他的工作获得2004年STOC的最佳论文奖。他的工作 获得2004年I…
诺姆·尼散
诺姆·尼散（；）是一位以色列计算机科学家。 生平 1984年毕业于耶路撒冷希伯来大学，1988年在理查德·卡普指导下拿到加州大学伯克利分校博士学位，在麻省理工学院攻读博士后。1990年返回母校耶路撒冷希伯来大学担任计算机科学教授。他为人所知的研究主要是计算复杂性理论和。 参考文献 外部链接 [http://www.cs.huji.ac.il/~noam/ 在希伯来大学的主页] [https://scholar.google.com/ci…
阿维·威格德森
阿维·威格德森（；）是以色列一位数学家、计算机科学家，他是美国普林斯顿高等研究院数学学院的一名教授。他的研究包括复杂性理论、平行算法、图论、密码学、分布式计算和神经网络，。 早年生活與學習 威格德森出生於以色列海法，父母是納粹大屠殺倖存者。威格德森畢業於海法，並於1980年从以色列理工学院毕业，之后进入普林斯顿大学攻读研究生，1983年在导师理查德·利普顿指导下完成题为《计算复杂性研究》的博士论文，并获得了计算机科学博士学位。 學術生涯…
赫里斯托斯·帕帕季米特里乌
。]] 赫里斯托斯·哈里劳斯·帕帕季米特里乌（，羅馬化：Christos Harilaos Papadimitriou，）是一名生於希臘的電腦科學家，現任教於柏克萊加州大學。帕帕季米特里乌在演算法領域做出研究，並曾先後任教於哈佛大學、麻省理工學院、國立雅典理工大學、史丹佛大學、聖地牙哥加利福尼亞大學、與柏克萊加州大學。 成就 帕帕季米特里乌在複雜度理論等方面的貢獻使他獲得了高德納獎，並使他成為了美國國家科學院與美國國家工程學院院士。 他…
塞迈雷迪·安德烈
塞迈雷迪·安德烈（，）是一名匈牙利数学家，他主要的研究领域为组合数学与理论计算机科学。他自从1986年以来一旦担任美国罗格斯大学的计算机科学教授。 生平 他生于布达佩斯，先后毕业于匈牙利的羅蘭大學与俄罗斯的莫斯科国立大学。他的博士导师为伊斯拉埃爾·蓋爾范德。 研究与成就 塞邁雷迪在離散數學、理論電腦科學、、組合幾何方面總共發表了超過200篇學術論文。其中，在1975年，他證明了艾狄胥·帕爾和圖蘭·帕爾的著名猜想：若一個正整數序列有正的上…
尤里斯·哈特马尼斯
尤里斯·哈特马尼斯 （，）是一名美国理论计算机科学家，康奈尔大學计算机科学教授。 生平 1993年，他与理查德·斯特恩斯一起因在計算複雜性理論取得的杰出贡献而获得图灵奖。 出版书籍 . . 参照 外部链接 [http://www.cs.cornell.edu/annual_report/00-01/bios.htm#hartmanis Hartmanis biography at Cornell]
曼纽尔·布卢姆
{{Infobox scientist | image = Manuel Blum 1973 (re-scanned, portioned).jpg | birth_date = | birth_place = 委内瑞拉加拉加斯 | death_date = | death_place = | residence = 匹兹堡 | citizenship = | nationality = | ethnicity = | field = …