-
羅賓·米爾納
鎖定
羅賓·米爾納(1934年1月13日——2010年3月20日),出生於英國普利茅斯耶爾姆普頓,1991年圖靈獎得主,美國國家科學院外籍院士,歐洲科學院創院院士,法國科學院外籍院士,ACM fellow,英國皇家學會院士,愛丁堡皇家學會院士,英國計算機學會傑出會士,生前是英國劍橋大學計算機科學名譽教授。
[1]
[4]
[6]
羅賓·米爾納1952年至1954年擔任英國皇家工兵少尉;1954年至1957年在劍橋大學國王學院攻讀數學學士學位;1958年至1959年擔任馬裏波恩文法學校數學教師;1960年至1962年擔任英國電腦製造商費蘭蒂有限公司程序員;1963年至1967年擔任倫敦城市大學講師;1968年至1970年任職於斯旺西大學;1971年至1973年任職於斯坦福大學,擔任約翰·麥卡錫人工智能項目的研究助理;1973年至1995年任職於愛丁堡大學;1988年當選為英國計算機學會傑出會士,同年當選為歐洲科學院創院院士和英國皇家學會院士;1991年獲得圖靈獎;1993年當選為愛丁堡皇家學會院士;1994年當選為ACM fellow;1995年至2001年擔任劍橋大學計算機實驗室主任;2001年退休;2005年當選為法國科學院外籍院士;2008年當選為美國國家工程院外籍院士;2009年至2010年擔任愛丁堡大學計算機科學系系主任;2010年3月20日在他的妻子露西的葬禮結束幾天後,死於心臟病發作,在英國劍橋去世,享年76歲。
[1]
[3]
- 中文名
- 羅賓·米爾納
- 外文名
- Robin Milner
- 國 籍
- 英國
- 出生地
- 英國普利茅斯耶爾姆普頓
- 出生日期
- 1934年1月13日
- 逝世日期
- 2010年3月20日
- 畢業院校
- 劍橋大學
- 職 業
- 教育科研工作者
- 主要成就
-
1988年當選為歐洲科學院創院院士
1991年獲得圖靈獎
2005年當選為法國科學院外籍院士
2008年當選為美國國家工程院外籍院士 - 學位/學歷
- 學士
羅賓·米爾納人物生平
1934年1月13日,羅賓·米爾納出生於英國普利茅斯耶爾姆普頓。
1952年—1954年,擔任英國皇家工兵少尉。
1954年—1957年,在劍橋大學國王學院攻讀數學學士學位。
1958年—1959年,擔任馬裏波恩文法學校數學教師。
1960年—1962年,擔任英國電腦製造商費蘭蒂有限公司程序員。
1968年—1970年,任職於斯旺西大學。
1971年—1973年,任職於斯坦福大學,擔任約翰·麥卡錫人工智能項目的研究助理。
1973年—1995年,任職於愛丁堡大學。
1988年,當選為英國計算機學會傑出會士,同年當選為歐洲科學院創院院士和英國皇家學會院士。
1993年,當選為愛丁堡皇家學會院士。
1994年,當選為ACM fellow。
1995年—2001年,擔任劍橋大學計算機實驗室主任。
2005年,當選為法國科學院外籍院士。
2009年—2010年,擔任愛丁堡大學計算機科學系系主任。
羅賓·米爾納主要成就
羅賓·米爾納科研成就
- 科研綜述
羅賓·米爾納與合作者實現了LCF,即設計出了允許用户交互地生成關於各種領域的可計算函數和函數的正式證明,包括計算機科學家感興趣的領域,例如整數、列表和計算機程序及其語義。羅賓·米爾納開發實現了一種語言,被設計成一種元語言(因此得名ML),用於實現一個名為愛丁堡LCF的新證明助手,ML影響了許多實用語言,包括Java、Scala和微軟的f#。羅賓·米爾納針對語義學的基本問題,特別是程序的數學外延屬性與其操作行為之間的聯繫,構造了第一個完全抽象的模型。羅賓·米爾納與合作者開發了π微積分,在π微積分中,標籤作為值傳遞,從而創建了一種通信系統的微積分,可以自然地表達結構變化的過程。
[1]
- 學術論文
[1]Robin Milner,Joachim Parrow,David Walker.A calculus of mobile processes, I[J].Information and Computation,1992.
[2]Matthew Hennessy,Robin Milner.Algebraic laws for nondeterminism and concurrency[J].Journal of the ACM,1985.
[4]Luis Damas,Robin Milner.Principal type-schemes for functional programs[J].ACM-SIGACT Symposium on Principles of Programming Languages (POPL),1982.
[5]Robin Milner.A theory of type polymorphism in programming[J].Journal of Computer and System Sciences (JCSS),1978.
[2]
- 科研平台
羅賓·米爾納人才培養
- 學生培養
- 出版教材
羅賓·米爾納於1980年出版了《Calculus of communication Systems,CCS》(通信系統演算),1989年出版了《Communication and Concurrency》(通信與併發性),兩本都是關於通信模型的教材。
[1]
羅賓·米爾納榮譽表彰
獲獎時間 | 榮譽表彰 |
---|---|
1987年 | 英國計算機學會標準ML開發技術獎 |
1988年 | 歐洲科學院創院院士 |
1988年 | 英國皇家學會院士 |
1991年 | 圖靈獎 |
1993年 | 愛丁堡皇家學會院士 |
1994年 | ACM fellow |
1996年 | 斯特林大學榮譽博士 |
1997年 | 博洛尼亞大學榮譽博士 |
1998年 | 倫敦城市大學榮譽博士 |
1999年 | 丹麥奧胡斯大學榮譽博士 |
2000年 | 埃塞克斯大學榮譽博士 |
2001年 | ACM SIGPLAN編程語言成就獎 |
2003年 | 愛丁堡大學榮譽博士 |
2004年 | 斯旺西大榮譽院士 |
2004年 | 愛丁堡皇家學會皇家獎章 |
2005年 | 歐洲理論計算機科學協會傑出成就獎 |
2005年 | 格拉斯哥大學榮譽博士 |
2005年 | 法國科學院外籍院士 |
2006年—2007年 | 巴黎綜合理工學院布萊茲·帕斯卡國際研究主席獎 |
2007年 | 巴黎南方大學榮譽博士 |
2008年 | 美國國家科學院外籍院士 |
羅賓·米爾納社會任職
羅賓·米爾納個人生活
- 家庭背景
- 興趣愛好
在學生時代,羅賓·米爾納喜歡演奏雙簧管、大提琴和鋼琴,並考慮以音樂為職業。羅賓·米爾納對工具很感興趣,他收藏了大量的木工工具,他用這些工具製作了各式形狀的拉線式電燈開關手柄、家裏的專用貨架,甚至還為冰箱製作了一個新手柄,他還製作了一個新的木製錶盤。
[1]
[3]
- 婚姻家庭
1963年,在一次音樂營中,羅賓·米爾納遇到了他的妻子,小提琴老師露西·摩爾。露西在一個業餘絃樂四重奏中演奏提琴。妻子先於羅賓·米爾納去世,他的兒子加布裏埃爾也先於他去世。他還有妹妹瓊、女兒克洛伊(和女兒艾米)和兒子巴尼(和女兒傑德)。
[3]
羅賓·米爾納人物評價
他(羅賓·米爾納)的學術風格、嚴謹和對細節的關注為所有人樹立了一個很高的榜樣(his style of scholarship,rigor,and attention to detail sets a high example for all to follow)。(美國計算機協會評)
[1]
羅賓·米爾納是“理論計算機科學之父”(ROBIN GORELL MILNER, a founding father of theoretical computer science)。(美國國家工程院評)
[3]
- 參考資料
-
- 1. ARTHUR JOHN ROBIN GORELL ("ROBIN") MILNER .ACM[引用日期2023-09-03]
- 2. Robin Milner(羅賓·米爾納) .AMiner[引用日期2023-09-03]
- 3. NAE Website - ROBIN MILNER 1934–2010 .美國國家工程院[引用日期2023-09-04]
- 4. Robin Milner .劍橋大學[引用日期2023-09-04]
- 5. CV .劍橋大學[引用日期2023-09-04]
- 6. “計算機領域諾貝爾獎”圖靈獎2021年度出爐 美國科學家獲獎 .科學家雜誌[引用日期2023-09-07]