고든 플롯킨

Gordon Plotkin
고든 플롯킨

FRS FRSE MAE
Gordon Plotkin.jpg
MFCS 2005 컨퍼런스서
태어난
고든 데이비드 플롯킨

(1946-09-09) 1946년 9월 9일 (75세)[1]
글래스고
국적영국의
모교글래스고 대학교 (BSC)
에든버러 대학교(PhD)
로 알려져 있다.계산 가능한 함수 프로그래밍
무한비계민주의
운영 의미론
도메인 이론
수상
과학 경력
필드논리학
수학
컴퓨터 공학
기관에든버러 대학교
컴퓨터 과학 기초 연구소
정보학교
글래스고 대학교
논문유도 추론의 자동적 방법 (1972)
박사학위 자문위원
박사과정 학생
웹사이트homepages.inf.ed.ac.uk/gdp
inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

FRS FRSE MAIE(Gordon David Plotkin, FRS FRSE MAIE, 1946년 9월 9일 출생)[1]는 에든버러 대학교 정보학교의 이론 컴퓨터 과학자다.플롯킨은 아마도 구조 운용 의미론(SOS)의 도입과 변절 의미론에 대한 그의 연구로 가장 잘 알려져 있을 것이다.특히, A Structural Access to Operational Semantics에 대한 그의 노트는 매우 영향력이 있었다.[citation needed]그는 컴퓨터 과학의 다른 많은 분야에 기여했다.[9][10][11][12][13][14][15]

교육

플롯킨은 글래스고 대학과 에든버러 대학에서 교육을 받았으며, 1967년에는[1] 과학 학사 학위를, 1972년에는[3] 로드 버스타울이 감독하는 박사 학위를 받았다.[2]

직업 및 연구

플롯킨은 에든버러에 머물렀으며, 버스타와 컴퓨터 과학 재단 연구소(LFCS)의 공동 설립자인 로빈 밀너와 함께 있었다.[16][17][18][19]그의 전 박사과정 학생으로는 루카 카르델리,[4] 필리파 가드너,[5] 더그 구르,[6] 유제니오 모기,[7] 르 웨이가 있다.[8][2]

수상 및 명예

플롯킨은 1992년 왕립학회(FRS) 회원으로, 에든버러 왕립학회(FRSE)[when?] 회원으로 선출되었으며 학회 유로피아의 회원이다.[20]그는 또한 왕립학회 볼프슨 연구 공로상 수상자다.플롯킨은 2012년 "프로그래밍 언어의 원리와 설계에 지속적인 영향을 미치는 프로그래밍 의미론에 대한 그의 근본적인 연구"[21]로 밀너상을 받았다.그의 왕립학회 지명은 다음과 같다.

플롯킨은 인공지능, 논리학, 언어학 그리고 특히 컴퓨터 과학에 기여했다.AI에서 그는 가설 형성과 보편적 통일, 논리학, 임의 로직의 프레임워크, 언어학, 상황 이론 공식화에 힘썼다.그의 일반적인 공헌은 컴퓨터 과학, 특히 프로그래밍 언어의 의미 체계를 확립하는 것이었다.특히 유의미한 결과는 람다-미적분(초기 모델, 정의 가능성, 가치별 통화), 비결정론(파워도메인 이론), 의미론적 형식(구조화된 운영 의미론, 금속구어) 및 의미 영역의 범주(일관성, 친마인드, 콘크리트)에 있다.추가 기여는 완전한 추상화, 동시성 이론(이벤트 구조), 프로그래밍 논리 및 유형 이론의 의미적 패러다임과 관련이 있다.[22]

참조

  1. ^ a b c Anon (2013). "Plotkin, Prof. Gordon David". Who's Who. ukwhoswho.com (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U31011. (구독 또는 영국 공공도서관 회원 필요) (필요한 경우)
  2. ^ a b c 수학 계보 프로젝트 고든 플롯킨
  3. ^ a b Plotkin, Gordon David (1972). Automatic methods of inductive inference (PhD thesis). University of Edinburgh. hdl:1842/6656. EThOS uk.bl.ethos.482992. icon of an open green padlock
  4. ^ a b Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. hdl:1842/13308. EThOS uk.bl.ethos.253190.
  5. ^ a b Gardner, Philippa (1992). Representing logics in type theory (PhD thesis). University of Edinburgh. hdl:1842/14888. EThOS uk.bl.ethos.651333. icon of an open green padlock
  6. ^ a b Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894. icon of an open green padlock
  7. ^ a b Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. hdl:1842/419.
  8. ^ a b Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis). hdl:1842/6636.
  9. ^ Google Scholar에 의해 색인화된 Gordon Plotkin 출판물
  10. ^ ACM 디지털 라이브러리의 Gordon Plotkin 저자 프로필 페이지
  11. ^ Gordon Plotkin 출판물은 Scopus 서지학 데이터베이스에 의해 색인화되었다.(필요한 경우)
  12. ^ 고든 D. DBLP 서지학 서버의 플롯킨
  13. ^ Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems. 10 (3): 470. doi:10.1145/44501.45065. S2CID 1222153.
  14. ^ Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.
  15. ^ "Symposium for Gordon Plotkin". www.lfcs.inf.ed.ac.uk.
  16. ^ Plotkin, G. D. (1975). "Call-by-name, call-by-value and the λ-calculus". Theoretical Computer Science. 1 (2): 125–159. doi:10.1016/0304-3975(75)90017-1.
  17. ^ Plotkin, G. D. (2004). "The origins of structural operational semantics". The Journal of Logic and Algebraic Programming. 60–61: 3–15. doi:10.1016/j.jlap.2004.03.009.
  18. ^ G.D. Plotkin에 의한 운영 의미론에 대한 구조적 접근법(1981)
  19. ^ 프로그램 검증 및 의미론: 추가 작업 2007년 9월 26일 웨이백 머신에 보관(2004)
  20. ^ Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon". www.ae-info.org.
  21. ^ "- Royal Society". royalsociety.org.
  22. ^ "EC/1992/29: Plotkin, Gordon David". London: The Royal Society. Archived from the original on 16 April 2014.