앤드루 D.고든

Andrew D.

앤드루 D. 고든은 마이크로소프트 리서치에 고용된 영국의 컴퓨터 과학자다.그의 연구 관심사는 프로그래밍 언어 설계, 형식 방법, 동시성, 암호법, 접근 제어 등이다.

전기

고든은 1992년 캠브리지 대학에서 박사학위를 받았다.1997년까지 고든은 케임브리지 대학 컴퓨터 연구소의 연구원이었습니다.그 후 그는 영국 캠브리지에 있는 마이크로소프트 연구소에 입사하여 프로그래밍 원리 및 도구 그룹의 수석 연구원으로 있다.[1]그는 또한 에든버러 대학에서 교수직을 맡고 있다.[2]

리서치

Gordon은 동시성에 대한 명백한 원시성을 가진 기능 프로그래밍 언어인 Concurrent Haskell의 설계자 중 한 명이다.그는 암호 시스템에 관한 정형화된 추론을 위한 π-미적분의 연장선인 spi 미적분학의 마틴 아바디와 공동 설계자다.[3]그와 Luca Cardelli는 모바일 코드에 대한 추론을 위해 주변 미적분을 발명했다.[4]모리츠 Y와 함께.Becker와 Cédric Fournet, Gordon은 또한 접속 제어 정책을 위한 마이크로소프트 사양 언어인 SecPAL을 설계했다.

수상 및 명예

고든의 박사학위 논문인 기능 프로그래밍과 입출력(Functional Programming and Input/Output)이 1993년 영국 컴퓨터학회 우수논문상을 수상했다.[5]루카 카델리와 함께 주변 미적분학을 주제로 한 그의 2000년 논문 '언제, 어디서나: 모바일 앰비언트를 위한 모달 로직스'가 2010년 SIG플랜 가장 영향력 있는 POPL 논문상을 수상했다.[6]L 페이퍼 어워드를 수상했다.

참조

  1. ^ Microsoft Research의 프로그래밍, 원칙 및 도구 그룹인 Microsoft Research는 2012-02-02에 액세스했다.
  2. ^ 에든버러의 교수진 프로파일, 2012-02-02를 찾아냈어
  3. ^ Ryan, Peter; Schneider, Steve A. (2001), "9.10 Spi calculus", The modelling and analysis of security protocols: the CSP approach, Addison-Wesley Professional, pp. 234–235, ISBN 978-0-201-67471-2.
  4. ^ Bergstra, J. A.; Ponse, Alban; Smolka, Scott A. (2001), "4.3.3. The ambient calculus", Handbook of process algebra, Elsevier, pp. 1026–1028, ISBN 978-0-444-82830-9.
  5. ^ 케임브리지 컴퓨터 연구소는 2012-02-02에 접속하여 수상, 수상, 수상, 수상 및 경연대회를 개최하였다.
  6. ^ SIGPlan 상은 Wayback Machine에 보관된 2009-08-02로 2012-02-01을 검색했다.

외부 링크