複製鏈接
請複製以下鏈接發送給好友

羅賓·米爾納

鎖定
羅賓·米爾納(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] 
羅賓·米爾納致力於數學計算理論的研究。 [5] 
中文名
羅賓·米爾納
外文名
Robin Milner
國    籍
英國
出生地
英國普利茅斯耶爾姆普頓
出生日期
1934年1月13日
逝世日期
2010年3月20日
畢業院校
劍橋大學
職    業
教育科研工作者
主要成就
1988年當選為歐洲科學院創院院士
1991年獲得圖靈獎
2005年當選為法國科學院外籍院士
2008年當選為美國國家工程院外籍院士
學位/學歷
學士

羅賓·米爾納人物生平

1934年1月13日,羅賓·米爾納出生於英國普利茅斯耶爾姆普頓。
1952年—1954年,擔任英國皇家工兵少尉。
1954年—1957年,在劍橋大學國王學院攻讀數學學士學位。
1958年—1959年,擔任馬裏波恩文法學校數學教師。
1960年—1962年,擔任英國電腦製造商費蘭蒂有限公司程序員。
1963年—1967年,擔任倫敦城市大學講師。 [1] 
1968年—1970年,任職於斯旺西大學。
1971年—1973年,任職於斯坦福大學,擔任約翰·麥卡錫人工智能項目的研究助理。
1973年—1995年,任職於愛丁堡大學。
1988年,當選為英國計算機學會傑出會士,同年當選為歐洲科學院創院院士和英國皇家學會院士。
1991年,獲得圖靈獎。 [1] 
1993年,當選為愛丁堡皇家學會院士。
1994年,當選為ACM fellow。
1995年—2001年,擔任劍橋大學計算機實驗室主任。
2001年,退休。 [3] 
2005年,當選為法國科學院外籍院士。
2008年,當選為美國國家工程院外籍院士。 [1] 
2009年—2010年,擔任愛丁堡大學計算機科學系系主任。
2010年3月20日,因心臟病發作,在英國劍橋去世,享年76歲。 [3] 
羅賓·米爾納

羅賓·米爾納主要成就

羅賓·米爾納科研成就

  • 科研綜述
羅賓·米爾納與合作者實現了LCF,即設計出了允許用户交互地生成關於各種領域的可計算函數和函數的正式證明,包括計算機科學家感興趣的領域,例如整數、列表和計算機程序及其語義。羅賓·米爾納開發實現了一種語言,被設計成一種元語言(因此得名ML),用於實現一個名為愛丁堡LCF的新證明助手,ML影響了許多實用語言,包括JavaScala和微軟的f#。羅賓·米爾納針對語義學的基本問題,特別是程序的數學外延屬性與其操作行為之間的聯繫,構造了第一個完全抽象的模型。羅賓·米爾納與合作者開發了π微積分,在π微積分中,標籤作為值傳遞,從而創建了一種通信系統的微積分,可以自然地表達結構變化的過程。 [1] 
論文截圖 論文截圖
  • 學術論文
據2023年9月AMiner平台數據,羅賓·米爾納已發表學術論文76篇,論文被引21135次,H-Index:39。 [2] 
[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.
[3]Robin Milner.Calculi For Synchrony And Asynchrony[J].Theoretical Computer Science,1983. [2] 
[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] 
  • 科研平台
羅賓·米爾納與人一起創立了愛丁堡大學計算機科學基礎實驗室。 [3] 

羅賓·米爾納人才培養

  • 學生培養
截止到2006年12月,羅賓·米爾納已培養畢業博士生19位。 [5] 
  • 出版教材
羅賓·米爾納於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-5] 

羅賓·米爾納社會任職

羅賓·米爾納1990年擔任英國計算機科學傑出學位論文計劃的創始主席,並於2002年成為英國計算研究委員會UKCRC)的創始成員,2009年3月被聘為愛丁堡大學信息學論壇兼職教授。 [3-4] 

羅賓·米爾納個人生活

  • 家庭背景
羅賓·米爾納出生在英格蘭南部海岸的一個軍人家庭,父親是英國陸軍上校 [1]  [3] 
  • 興趣愛好
在學生時代,羅賓·米爾納喜歡演奏雙簧管、大提琴和鋼琴,並考慮以音樂為職業。羅賓·米爾納對工具很感興趣,他收藏了大量的木工工具,他用這些工具製作了各式形狀的拉線式電燈開關手柄、家裏的專用貨架,甚至還為冰箱製作了一個新手柄,他還製作了一個新的木製錶盤。 [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] 
參考資料