彼得·兰丁
彼得·约翰·兰丁（，），英国计算机科学家。他最早提出阿隆佐·邱奇的λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。 学术生涯 兰丁出生于英格兰的谢菲尔德，中学时代就读于爱德华七世学校；他从剑桥大学克莱尔学院毕业。在他退休之后，他获得了伦敦玛丽王后大学的理论计算学荣誉教授称号。2012年，伦敦玛丽王后大学的计算机科学大楼以他的名字命名。 2001年，在伦敦科学博物馆的一个关于程序语言形式语义学的会议上，他回顾了…
标签：#形式方法人物
共 15 篇文章
阿德里安·范·韦恩加登
阿德里安·范·韦恩加登（Adriaan "Aad" van Wijngaarden，1916年11月2日–1987年2月7日），是荷兰数学家和计算机科学家。上大学时受训为机械工程师，van Wijngaarden强调并提倡了数学的计算方面，首先在数值分析中，接着在编程语言中，最终在编程语言的设计原理中。 生平 van Wijngaarden所受大学教育是机械工程，在1939年他为此获得了代尔夫特理工大学的学位。他接着攻读了流体动力学的博…
伯特蘭·邁耶
伯特蘭·邁耶（，），生於法國，程式語言專家，Eiffel程式語言的創造者，曾提出契约式设计觀念。 生平 於巴黎综合理工学院取得學士學位，美國史丹佛大學碩士，於法國南錫大學取得博士學位。 2001年10月，成為苏黎世联邦理工学院軟體工程教授。 著作 1988年，出版《物件導向軟體建構》（Object-Oriented Software Construction），為物件導向編程的經典作品。
東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（，縮寫為C. A. R. Hoare，），暱稱為東尼·霍爾（，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 生平 東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後，進入英國皇家海軍服兵…
尼克劳斯·维尔特
尼克劳斯·埃米尔·维尔特（，），生於瑞士溫特圖爾，是瑞士計算機科學家。 從1963年到1967年，他成為斯坦福大学的計算機科學部助理教授，之後又在苏黎世大学擔當相同的職位。1968年，他成為苏黎世联邦理工学院的信息学教授，又往施乐帕洛阿尔托研究中心進修了兩年。 他是好幾种編程語言的主設計師： Algol W Modula Pascal Modula-2 Oberon 他亦是Euler語言的發明者之一。1984年他因發展了這些語言而獲图灵…
达纳·斯科特
达纳·斯图尔特·斯科特（，），美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。 简介 斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆佐·邱奇，1958年取得博士学位。 他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学…
彼得·摩西
彼得·大衛·摩西（，）是一名英國計算機科學家。 摩西本科就讀於牛津大學三一學院數學系，並於1970年代初在牛津大學沃弗森學院的獲得克里斯多福·斯特雷奇督導的博士學位。他是斯特雷奇去世前最後一位在斯特雷奇領導下提交論文的學生。 1978年，摩西發表了他的編譯器編譯程式，即語義實現系統（SIS），該系統使用輸入語言的指稱語意描述。 摩西大部分的職業生涯都是在丹麥的BRICS工作。他回到威爾斯斯旺西大学擔任講座教授。他的主要貢獻在於正式程式語…
刘志明 (计算机科学家)
刘志明（），電腦科學家，英国计算机协会高级会士，现任西南大学计算机与信息科学学院教授。 生平 出生于中华人民共和国河北省，后在河南洛阳学习，并于1982年取得数学学士学位。1988年，取得中国科学院软件研究所计算机科学硕士学位；1991年获得英国华威大学的博士学位，博士论文为基于模型转换的容错程序（）。 获得博士学位后，刘志明于1991年至1992年间以客座科学家身份在位于的丹麥理工大學计算机科学系工作。随后返回英国华威大学，任博士后研…
摩西·瓦尔迪
摩西·雅科夫·瓦尔迪（，）是一位以色列数学家和计算机科学家。他是美国萊斯大學计算工程系凯伦·奥斯特鲁姆·乔治杰出服务教授。 和肯尼迪研究所的教员顾问。 他的兴趣集中在逻辑在计算机科学中的应用，包括数据库理论、有限模型理论、多智能体系统知识、计算机辅助验证和推理，以及跨课程的逻辑教学。他是模型检查、约束满足和数据库理论、常识（逻辑）和理论计算机科学方面的专家。 瓦尔迪撰写或合著了 600 多篇技术论文 ，并编辑了多本论文集。他与Ronal…
艾兹赫尔·戴克斯特拉
艾兹赫尔·韦伯·戴克斯特拉（，，），又譯艾兹赫尔·韦伯·迪杰斯特拉，生於荷蘭鹿特丹，计算机科学家，是荷蘭第一位以程序设计為專業的科學家。他曾在1972年获得图灵奖，之后还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。 2002年，在他去世前不久，获得了ACM PODC（分布式计算原理）最具影响力论文奖，以表彰他在分布式领域中关于程序计算自稳定的…
何积丰
何积丰（），男，上海人，中国计算机科学家，中国科学院院士。现任华东师范大学软件学院院长，华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法；高可信与信息安全；并发程序设计理论；嵌入式系统设计方法和工具；软硬件混成系统协同设计等。 生平 1943年8月生于上海市。他是上海最早从事计算机科学研究的人员之一，曾先后被派往斯坦福大学和牛津大学研修，取得了丰硕的成果，两次获得英国女皇奖。 1965年毕业于复旦大学数学…
周以真
周以真（，）是一位美国华人计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代換原則，是物件導向程式設計基本原则之一。 生平 1979年6月在麻省理工学院获得学士和硕士学位，导师中有图灵奖得主Ronald Rivest。1983年获得麻省理工学院的博士…
罗伯特·科瓦尔斯基
罗伯特·安东尼·科瓦尔斯基（Robert Anthony Kowalski，）是一位美籍英籍逻辑学家和计算机科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和帝国理工学院，是Prolog语言的主要开发者之一，逻辑编程先驱。 经历 他曾就读于芝加哥大学（数学学士学位，1963 年）、斯坦福大学（数学硕士学位，1966 年）、和爱丁堡大学（计算机科学博士学位，197…
周巢尘
周巢尘（），男，原籍江苏南汇，生于上海，中国计算机理论专家，中国科学院软件研究所研究员、中国科学院院士，长期从事分布式计算、理论计算机科学等方面研究，被认为是中国分布式程序设计理论研究的先驱者和开拓者之一。 生平 1937年11月1日生于上海。1958年毕业于北京大学数学力学系。1967年，研究生毕业于中国科学院计算技术研究所。任中国科学院软件研究所研究员，联合国大学国际软件技术研究所所长。 奖项和荣誉 奖项 2019年获得中国计算机学…
菲利普·瓦德勒
菲利普·李·瓦德勒（Philip Lee Wadler，）是一位美国電腦科學家，以其对编程语言设计和类型论的贡献而闻名，2003年以来担任爱丁堡大学理论计算机学讲席教授。他对函数式编程背后的理论做出了许多贡献，包括函数式编程中单子的使用、纯函数式语言Haskell的设计、和XQuery声明式查询语言等。1984年，他创建了Orwell编程语言。瓦德勒参与了向Java5.0添加泛型类型的工作。 参考文献