로빈 밀너

Robin Milner
로빈 밀너
Robin Milner.jpg
태어난
아서 존 로빈 고렐 밀너

(1934-01-13) 1934년 1월 13일
영국 플리머스 주 옐튼
죽은2010년 3월 20일(2010-03-20)(76세)
영국 케임브리지
로 알려져 있다
어워드
과학 경력
필드컴퓨터 공학
기관
박사 어드바이저아뇨, 밀너는 박사학위를[2] 받은 적이 없어요
박사과정 학생매즈 토프테(1988)
파론 몰러
크리스 토프스
다비데 산고리(1993)[3][4]

아서 존 고렐 밀너(Arthur John Robin Goreell Milner, 1934년 1월 13일 ~ 2010년 3월 20일)는 영국의 컴퓨터 과학자로 튜링상 [5][6][7][8][9][10]수상자이다.

생활, 교육, 경력

밀너는 영국 플리머스 근처 옐튼의 군인 가정에서 태어났다.1947년 이튼 칼리지에서 킹스 장학금을 받았고 1952년 톰라인상(이튼 수학 최고상)을 받았다.그 후, 그는 왕립 공병대에서 근무하며 소위의 계급에 도달했다.그 후 그는 케임브리지 킹스 칼리지에 입학하여 1957년에 졸업하였다.Milner는 처음에는 Ferranti에서 프로그래머로 일했고, 그 후 City University, London, Swansea University, Stanford University, 1973년부터 Edinburgh University of Computer Science(LFCS)의 공동 설립자로 재직했습니다.그는 1995년에 컴퓨터 연구소의 소장으로 케임브리지로 돌아왔고, 비록 그가 아직 연구소에 있었지만 결국 사임했다.2009년부터는 스코틀랜드 정보과학 및 컴퓨터 사이언스 얼라이언스 어드밴스 리서치 펠로우로서 에든버러 대학에서 컴퓨터 사이언스 의장을 겸임하고 있습니다.

밀너는 2010년 [5][11]3월 20일 케임브리지에서 심장마비로 사망했다.그의 아내 루시는 그가 죽기 직전에 죽었다.

투고

밀너는 일반적으로 컴퓨터 공학에 세 가지 주요한 공헌을 한 것으로 여겨진다.그는 자동화된 정리 증명을 위한 최초의 도구 중 하나인 계산 가능한 함수를 위한 논리(LCF)를 개발했습니다.그가 LCF를 위해 개발한 언어인 ML은 다형식 유형 추론과 유형 안전 예외 처리를 갖춘 최초의 언어였다.매우 다른 영역에서 밀너는 동시 시스템을 분석하기 위한 이론적 프레임워크, 통신 시스템의 미적분(CCS) 및 그 후속인 δ-calculus도 개발했다.

사망 당시 그는 CCS와 µ-calculus를 [12]가정한 유비쿼터스 컴퓨팅의 형식주의인 빅그래프를 연구하고 있었습니다.그는 또한 힌들리-밀너 유형의 시스템을 재발견한 공로를 인정받고 있다.

영예와 상

그는 1988년에 왕립 학회 펠로우와 영국 컴퓨터 학회의 저명한 펠로우로 선정되었습니다.밀너는 1991년에 ACM 튜링상을 받았다.1994년에 그는 ACM의 펠로우로 취임했다.2004년 에든버러 왕립학회는 밀너에게 "전세계적으로 공공의 이익을 가져온" 공로로 왕실 훈장을 수여했다.2008년 그는 "LCF, ML, CCS 및 µ-calculus의 개발을 포함한 컴퓨터 과학에 대한 근본적인 공헌"으로 미국 공학 아카데미의 외국인 어소시에이트로 선출되었습니다.[1]

Royal Society Milner Award는 [13]그의 이름을 따서 지어졌다.

선택한 출판물

  • 커뮤니케이션 시스템의 미적분학, 로빈 밀너.Springer-Verlag(LNCS 92, 1980). ISBN3-540-10235-3
  • 소통과 동시성, 로빈 밀너.프렌티스 홀 컴퓨터 사이언스 국제 시리즈, 1989.ISBN 0-13-115007-3
  • 표준 ML의 정의, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990
  • Standard ML, Robin Milner, Mads Tofte, MIT Press 1991에 대한 해설.ISBN 0-262-63137-7
  • The Definition of Standard ML (개정판), Robin Milner, Mads Tofe, Robert Harper, David MacQueen, MIT Press 1997.ISBN 0-262-63181-4
  • 통신 및 모바일 시스템: §-Calculus, Robin Milner.케임브리지 대학 출판부, 1999.ISBN 0-521-65869-1
  • The Space and Motion of Communicating Agents, Robin Milner, 캠브리지 대학 출판부, 2009.ISBN 978-0-521-73833-0

참고 항목: DBLP의 Robin Milner에 의한 자료

레퍼런스

  1. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
  2. ^ 마틴 버거의 로빈 밀너 인터뷰.
  3. ^ Sangiorgi, Davide (1993). Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (PhD thesis). University of Edinburgh. hdl:1842/6569. OCLC 29948444. EThOS uk.bl.ethos.566460.
  4. ^ 수학 계보 프로젝트의 로빈 밀너
  5. ^ a b 부고 – Robin Milner 교수: The Times, 2010년 3월 31일.
  6. ^ Hoffmann, L. (2010). "Robin Milner: the elegant pragmatist". Communications of the ACM. 53 (6): 20. doi:10.1145/1743546.1743556.
  7. ^ Milner, R. (1987). "Is Computing an Experimental Science?". Journal of Information Technology. 2 (2): 58–66. doi:10.1057/jit.1987.12. S2CID 10413382.
  8. ^ http://www.cl.cam.ac.uk/misc/obituaries/milner 케임브리지 대학교– 부고
  9. ^ http://www.cl.cam.ac.uk/users/rm135/ Milner의 케임브리지 홈페이지
  10. ^ ACM 디지털 라이브러리의 Robin Milner 작성자 프로파일페이지
  11. ^ 밀너의 죽음을 알리는 뉴스 그룹 메시지입니다
  12. ^ Milner, Robin. "The Bigraphical Model". University of Cambridge. Retrieved 7 November 2009. Bigraphs [...] are proposed as a Ubiquitous Abstract Machine, playing the foundational role for ubiquitous computing that the von Neumann machine has played for sequential computing.
  13. ^ "The Royal Society Milner Award and Lecture Royal Society". The Royal Society. Retrieved 12 May 2021.

추가 정보

외부 링크