标签:#程式語言設計者

共 39 篇文章

约翰·麦卡锡

约翰·麦卡锡(,),生于美国马萨诸塞州波士顿,计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。 履历 1927年9月4日,约翰·麦卡锡出生於美國麻薩諸塞州波士頓。他的父親John Patrick是愛爾蘭裔美國人,母親Ida Glatt McCarthy是立陶宛的猶太人。 他于1948年获得加州理工学院数学学士学位,1951年获得普林斯顿大学数学博士学位…

布拉姆·莫勒纳尔

布拉姆·莫勒纳尔(,;),生於荷蘭利瑟,程式設計師,在自由軟體界素有盛名。他是Vim軟體的最初開發者,軟體版本管理者,被推崇為終身仁慈獨裁者。 生平 從高中開始對軟體程式產生興趣,自學編寫軟體。1985年,畢業於台夫特理工大學,取得電機工程学士学位。畢業後,在芬洛一間印刷公司工作,擔任工程師。1988年,他開始開發Vim,于1991年以自由軟體方式正式发布。他長期以自由工作者身份,在家全職開發自由軟體,維護Vim,以电子邮件作為主要的對…

西蒙·佩頓·瓊斯

西蒙·佩頓·瓊斯(,),生於南非,英國計算機科學家,以研究函數程式語言的實作與應用為主,特別是針對惰性函數程式語言(lazy functional languages)。他對Haskell程式語言的發展有很大貢獻,為格拉斯哥大學的榮譽教授,也在劍橋大學指導博士生。 生平 1980年,畢業於剑桥大学三一学院。至企業界工作兩年後,至伦敦大学学院擔任講師(Lecturer)。1990至1998年間,至格拉斯哥大學擔任教授。1998年後,進入英…

克利斯登·奈加特

克利斯登·奈加特(,),挪威计算机科学家,社会活动家,图灵奖和冯·诺伊曼奖获得者,Simula的创始人,面向对象技术的先驱。 生平 克利斯登·奈加特1926年生于挪威的奥斯陆,1956年于奥斯陆大学获得数学硕士学位,论文是《蒙特卡罗方法的理论方面》。 1948年—1960年间克利斯登·奈加特全职工作于,进行计算、编程(1948年—1954年)和运筹学(1952年—1960年)方面的研究。 1957年—1960年间他是挪威防务系统中最早的…

奧利-約翰·達爾

奧利-約翰·達爾(,),生於挪威曼達爾,著名電腦科學家,與克利斯登·奈加特共同創造了Simula,被認為是物件導向之父。因此貢獻,他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年约翰·冯诺依曼奖。 生平 著作

艾伦·佩利

艾倫·傑·佩利(,),生于美国宾夕法尼亚州匹兹堡,是美国计算机程序设计领域的科学家,首届图灵奖的获得者。 生平 1943年于卡内基理工学院(现卡内基梅隆大学)获得化学学士学位。二战中,在美军服役,开始对数学感兴趣。后改学数学,1949年获得硕士学位。1950年在麻省理工学院获博士学位。他的博士论文题目是“On Integral Equations, Their Solution by Iteration and Analytic Con…

彼得·諾爾

彼得·諾爾(,),生於丹麥腓特烈斯贝,天文學家與計算機科學家,曾任哥本哈根大學教授。他協作開發了BNF範式,改進了程式語言。也曾投入 ALGOL 60的開發工作,在軟體工程及軟體架構領域中都有著重要貢獻。為2005年圖靈獎得主,也是目前唯一一位丹麥籍的得主。 生平 彼得·諾爾在學校中主修天文學,1957年,在哥本哈根大學取得天文學博士學位。在畢業後,他的研究方向轉向計算機科學方面,在1959年到1969年間,他在一間丹麥電腦公司工作。但…

馬丁·理察德

馬丁·理察德(,),生於英國,計算機科學家,為BCPL程式語言的發明者,發展了TRIPOS作業系統。 生平 馬丁·理察德就讀劍橋大學時,主修數學。在劍橋大學取得計算機科學博士學位。之後成為劍橋大學聖約翰學院院士。 1966年,馬丁·理察德在劍橋大學,以CPL程式語言為基礎,發明了BCPL程式語言。 2003年,因發明BCPL程式語言,獲得IEEE的電腦先驅獎(Computer Pioneer Award)。

松本行弘

松本行弘(,别名Matz,)是一位日本计算机科学家和程序员。他是Ruby程序设计语言的主要设计者和实现者。 自2011年起,松本行弘在Heroku担任首席Ruby架构师,同时他也是乐天技术研究所的成员。在2014年6月,株式会社 VASILY 任命他为技术顾问。 生平 松本行弘出生于大阪府,从四岁起居住在鸟取县。根据Japan Inc.的采访,他在高中毕业前自学了程序设计。他毕业于筑波大学,在那里获得了信息科学学位,并参加了研究程序设计…

艾兹赫尔·戴克斯特拉

艾兹赫尔·韦伯·戴克斯特拉(,,),又譯艾兹赫尔·韦伯·迪杰斯特拉,生於荷蘭鹿特丹,计算机科学家,是荷蘭第一位以程序设计為專業的科學家。他曾在1972年获得图灵奖,之后还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。 2002年,在他去世前不久,获得了ACM PODC(分布式计算原理)最具影响力论文奖,以表彰他在分布式领域中关于程序计算自稳定的…

西摩爾·派普特

西摩爾·派普特(,),南非普利托里亞;}-人,是美國麻省理工学院的数学家。他是人工智能發展的其中一位先驅。他對智力的觀點主要來自讓·皮亞傑的影響。他在1968年從LISP語言的基礎裡創立Logo程式語言。 外部連結 [https://web.archive.org/web/20031202164000/http://papert.www.media.mit.edu/people/papert/ 派普特博士的簡短生平(英語)] [http…

芭芭拉·利斯科夫

芭芭拉·利斯科夫(,),本名芭芭拉·简·休伯曼()。美国计算机科学家,2008年图灵奖得主,2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。 簡歷 1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位,她是美国第一个计算机科学女博士。导师为1971年图灵奖得主约翰·麦卡锡教授,论文题目是国际象棋残局程序。 利斯科夫领导了许多重要的项目,包括小型低成本交互式的分时操作系统Venus…

查理斯·摩爾 (程式設計師)

查理斯·哈維·摩爾(,),小名查克·摩爾(),美國科學家。他是程式語言Forth的主要開發者。 生平 1968年,受雇於美国国家射电天文台時,為控制電波訊號,開發了程式語言Forth。 外部連結 [https://web.archive.org/web/20040131054056/http://www.colorforth.com/ 查克·摩爾個人首頁] [http://www.forth.com/ FORTH, Inc.]

彼得·溫伯格

彼得·傑·溫伯格(,),美國著名計算機科學家,曾服務於貝爾實驗室,現在google工作。他是AWK的共同作者之一。 生平 1964年,於斯沃斯莫爾學院取得碩士學位。1969年,於柏克萊加州大學取得數學博士學位,主要研究數論。在畢業後,他曾至密西根大學進行博士後研究,鑽研解析数论,之後他進入貝爾實驗室工作。 在貝爾實驗室期間,他參與了AWK的開發。 他曾任文藝復興科技公司(Renaissance Technologies)的首席技術長,後…

克里斯·拉特納

克里斯·拉特納(,),美國著名程式設計師,LLVM專案的主要發起人與作者之一,Swift語言的創始人,並於2022年3月離開Swift核心團隊,Clang編譯器的作者。现为他共同創立的人工智能公司Modular AI的執行長。 生平 2000年,克里斯·拉特納自奧勒岡州波特蘭大學(University of Portland)計算機科學系畢業。之後進入伊利诺伊大学厄巴纳-香槟分校(UIUC)就讀。在此期間,他經年累月學習《Compile…

拉里·沃尔

{{Infobox person |name=拉里·沃尔 Larry Wall |birth_date= |出生地点=洛杉矶 |image=Larry Wall YAPC 2007.jpg |known_for=Perl | alma_mater = 西雅图太平洋大学 加州大學伯克利分校 |children=4 |religion=国际基督教会。 在加州大学伯克利分校的研究生院里,沃尔和他的妻子学习语言学,为了找一个没有文字的语言,可能…

布蘭登·艾克

布蘭登·艾克(,),美國程式技术专家與企業家,JavaScript主要創造者與架構師,曾任Mozilla公司的技術長,並曾短暫擔任執行長。 生平 布蘭登·艾克生於美國加州的森尼維爾市,在聖塔克拉拉大學(Santa Clara University)就讀時,最初主修物理學,大三時因興趣轉變转投計算機科學領域,後取得數學與計算機科學學士學位。1986年取得伊利諾伊大學香檳分校計算機科學碩士學位。之後他在MicroUnity工作了三年。199…

喬·阿姆斯特朗

{{Infobox person | name = 喬·阿姆斯特朗 Joseph Leslie Armstrong | image = An erlang expert and some guy named Joe (4133214882).jpg | caption = 喬·阿姆斯特朗在2009年的照片 | birth_date = | birth_place = 伯恩茅斯, | death_date = 。 著作 Programmi…

凯瑟琳·布思

凯瑟琳·海尔达·瓦莱丽·布思(,)是一位女性计算机科学家。她创造了首个汇编语言,同时设计了伦敦大学伯贝克学院首个计算机系统的汇编程序及自动编码。除此之外,她也参与了设计自动继电计算器(Automatic Relay Calculator)、简易电子计算机(Simple Electronic Computer)及的过程。 生平 凯瑟琳·布思出生于英国伍斯特郡的斯陶爾布里奇。1944年,布思获得了伦敦大学数学系的理學士学位;六年后,她获得了…