Robin Milner, Arthur John Robin Gorell Milner (1934 년 1 월 13 일, 영국 Devon, Yealmpton, 케임브리지 셔 케임브리지에서 사망) 영국 컴퓨터 과학자이자 1991 AM Turing Award 수상 자동 정리 프로 바이더, ML 컴퓨터 프로그래밍 언어 및 일반적인 동시성 이론에 대한 그의 작업으로 컴퓨터 과학 분야에서 최고의 영예를 안았습니다.
Milner는 Eton College에 다니고 1952 년 캠브리지 대학교에 다니기 위해 장학금을 받았지만 수에즈 운하에서 영국군의 왕 엔지니어들과 함께 2 년 동안 강의를 연기해야했습니다. Milner는 1954 년 케임브리지에 입학하여 1957 년 수학 학사 학위를 취득했습니다. 그는 1956 년 여름에 학교의 EDSAC 컴퓨터를 사용하는 짧은 프로그래밍 과정으로 컴퓨팅에 처음 노출되었습니다. 그 후 Milner는 런던으로 이주하여 컴퓨터 프로그래머가되고 Ferranti Ltd.에서 컴파일러를 개발하기 전에 Marylebone Grammar School (1959-60)에서 수학 교육을 포함한 다양한 직업을 가졌습니다 (Ferranti는 최초의 상용 컴퓨터를 생산했습니다, 1951 년 Ferranti Mark I.)
1963 년 Milner는 City University London에서 Ferranti를 떠나 공학 공학 학생들에게 수학을 가르치고 인공 지능 (AI)에 대한 연구와 데이터베이스에의 응용을 시작했습니다. 1968 년 Milner는 스완 지 웨일즈 대학교에서 프로그램 검증, 자동 정리 증명 및 시맨틱 스에 관한 연구 직책을 수락했습니다. 1971 년 Milner는 미국으로 가서 스탠포드 대학의 AI 실험실에서 John McCarthy와 함께 일했습니다. Milner는 1973 년 영국으로 돌아와 에딘버러 대학교 (University of Edinburgh)에서 자동 정리 솔버를 구현하기 위해 개발 된 컴퓨터 프로그래밍 언어 인 ML ("metalanguage") 디자인을 지원했습니다. 1995 년 Milner는 학교 컴퓨터 실의 책임자로 캠브리지로 돌아 왔습니다. 그는 2001 년에 은퇴했다.
다른 작업들 중에서도 Milner는 통신 시스템에 대한 미적분학 (1980), 커뮤니케이션 및 동시성 (1989), 통신 및 모바일 시스템: Pi-Calculus (1999) 및 통신 에이전트의 공간 및 동작 (2009)의 저자였습니다. 그는 이론적 컴퓨터 과학, 이론적 컴퓨터 과학 연구 노트, 컴퓨터의 공식적인 양상 및 컴퓨터 과학의 수학적 구조의 편집자로 일했으며 에딘버러 왕립 학회 논문집 편집부에서 일했다: A, 수학.
Milner는 왕립 학회 (1988), 영국 컴퓨터 학회 (1988), 왕립 에든버러 학회 (1993), 컴퓨팅 기계 협회 (1994), 프랑스 과학 아카데미 (2005), 미국 국립으로 선출되었습니다. 공학 아카데미 (2008). 튜링 상 이외에도 Milner는 영국 컴퓨터 학회 기술상 (1987), 에든버러 왕립 금메달 협회 (2004), 유럽의 컴퓨터 과학 과학 공로상 협회 상 (2005)을 수상했습니다.
