샘슨 아브람스키

Samson Abramsky
샘슨 아브람스키

FRS FRSE
2005년 5월 브람스키
태어난 (1953-03-12) 1953년 3월 12일 (만 70세)[4]
모교
시상식
과학경력
필드
인스티튜트스
논문영역이론과 관찰가능한 성질의 논리 (1987)
박사 지도교수리처드 보르나트[3]
웹사이트www.cs.ox.ac.uk/samson.abramsky

샘슨 아브람스키 FRS FRSE(Samson Abramsky FRSE, 1953년 3월 12일 ~ )는 유니버시티 칼리지 런던의 컴퓨터 과학 교수입니다.그는 이전에 2000년부터 2021년까지 옥스퍼드 울프슨 칼리지의 전산학 교수로 재직했습니다.

그의 초기 연구는 영역 이론과 기하학적 논리와의 연결에 지대한 기여를 한 것을 포함합니다.그 이후로 그의 연구는 게으른 람다 미적분학, 엄격성 분석, 동시성 이론, 상호작용의 범주와 기하학, 게임 의미론과 양자 컴퓨팅을 다루었습니다.특히, 그는 범주형 양자역학을 공동으로 개척했습니다.최근에는 범주적 의미론에서 유한 모델 이론까지 방법을 적용하고 있으며, 이를 설명적 복잡성에 적용하고 있습니다.[2][5][6][7][8][9][10][11][12]

교육

아브람스키는 Hasmonean Grammar School for Boys, Hendon, 그리고 Kings College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science)와 Queen Mary, University of London (PhD Computer Science 1988, Richard Bornat 감독)에서 교육을 받았습니다.[3]

경력과 연구

2021년 이래로, 아브람스키는 유니버시티 칼리지 런던의 컴퓨터 과학 교수입니다.그는 2004년부터 왕립학회 회원입니다.그의 연구는 게임 의미론, 논리적 형태의 영역 이론, 범주적 양자역학의 발전을 포함합니다.

그의 초기 직책은 다음과 같습니다.

에이브람스키는 게임 의미론의 발전과 프로그래밍 언어의 의미론에 적용하는 데 주도적인 역할을 해왔습니다.다른 주목할 만한 공헌으로는 논리적 형태의 영역 이론, 게으른 람다 미적분학, 엄격성 분석, 동시성 이론, 상호작용 범주 및 상호작용 기하학에 대한 그의 연구가 있습니다.그는 최근에 양자 계산과 정보를 위한 높은 수준의 방법들을 연구하고 있습니다.

선택한 간행물

Samson Abramsky는 Dov Gabbay 및 Tom Maibum과 함께 컴퓨터 과학 논리학 6권을 공동 편집했습니다.

  • 1992. 1권: 배경: 수학적 구조.
  • 1992. 2권: 배경: 계산 구조.
  • 1995. 3권: 의미적 구조
  • 1995. 4권: 시맨틱 모델링.
  • 2001. 제5권: 논리학과 대수학적 방법
  • 제6권: 컴퓨터 과학의 논리적 방법

Samson Abramsky는 200개 이상의 출판물을 출판했으며 2019년 10월 현재 h 지수는 57입니다.[13]

  • 1986. 고차 함수에 대한 엄격성 분석(GL 번, C 행킨과 함께)컴퓨터 프로그래밍 과학.
  • 1990년. 게으른 람다 미적분학.기능 프로그래밍의 연구 주제.
  • 1993. 선형 논리의 계산 해석이론 컴퓨터 과학 111에서
  • 1994. 도메인 이론.(A Jung과 함께).컴퓨터 과학 논리학 편람 3.
  • 1996. 상호작용 범주 및 유형 동시 프로그래밍의 기초(S 게이와 R 나가라잔과 함께)NATO ASI 시리즈 F 컴퓨터 및 시스템 과학 152
  • 1997. 상호작용 범주 지정(D 파블로비치와 함께)범주이론과 컴퓨터과학
  • 2002. 상호작용의 기하학과 선형결합대수(E Hagverdi와 P Scott과 함께).컴퓨터 과학의 수학적 구조 12 (5)
  • 2003. 게임과 논리의 순차성 대 동시성컴퓨터 과학의 수학적 구조 13 (4)

샘슨 에이브람스키의 최근 연구는 다음과 같습니다.

상훈

아브람스키는 왕립학회 회원(2004년), 에든버러 왕립학회 회원(2000년),[14] 유럽학회 학술원 회원(1993년)입니다.그는 논리학과 수학의 기초에 관한 노스 홀랜드 연구와 이론 컴퓨터 과학에 관한 캠브리지 트랙스의 편집위원회의 일원입니다.2000년부터 2003년까지 LiCS 조직위원회의 위원장을 역임했습니다.

  • 그는 논리적 형태, 게임 의미론, 범주적 양자 역학 및 맥락적 의미론의 영역에 대한 기여로 ACM의 펠로우(Fellow of ACM, 2014)로 선출되었습니다.
  • 그는[15] 2013년 BCS 러브레이스 메달을 수상했습니다.
  • 그의 논문 "논리적 형태의 도메인 이론"은 1987년 LiCS Test-of-Time 상(20년 회고전)을 수상했습니다.이 상은 LiCS 2007에서 수여되었습니다.
  • 그는 2007년에 양자 정보학을 위한 기초 구조 및 방법에 관한 EPSRC 수석 연구 펠로우십을 수상했습니다.
  • 왕립학회 펠로우 (2004)
  • 에든버러 왕립학회 회원 (2000)

브람스키의 왕립학회 후보 지명 내용은 다음과 같습니다.

Samson Abramsky는 계산의 수학적 기초에 중대한 기여를 한 것으로 유명합니다.그의 뛰어난 업적은 게임 의미론을 그들 사이의 정보 흐름의 수학적 구조를 노출하는 계산 과정 이론으로 발전시킨 것입니다.이를 통해 프로그래밍 언어 연구에 강력한 응용 프로그램이 생겨나 순차성, 상태, 제어 및 기타 많은 컴퓨팅 기능의 본질에 대한 결정적인 새로운 통찰력을 제공하게 되었습니다.그것은 이제 컴퓨터 지원 프로그램 분석 및 검증의 새로운 발전으로 이어지고 있습니다.논리학에 기여한 중요한 가닥은 지라드의 상호작용 기하학을 일반화하여 논리학의 '증명의 공간'을 특징짓는 완전 완성 정리라는 새로운 장르로 이어집니다.이전에 아브람스키는 추상적 해석, 영역 이론, 람다 미적분학 및 동시성에 중요한 기여를 했습니다.그는 예리하고 창의적인 통찰력, 새로운 영역을 개척하고 기존 작업에 질서와 통일을 가져오는 것으로 광범위한 주제를 계속 조명하고 있습니다.[16]

참고문헌

  1. ^ a b "Mr Samson Abramsky". awards.acm.org.
  2. ^ a b 구글 스콜라가 색인화한 샘슨 에이브람스키 출판물
  3. ^ a b 수학 계보 프로젝트의 샘슨 에이브람스키
  4. ^ A & C Black (2014). "ABRAMSKY, Prof. Samson". Who's Who. Bloomsbury Publishing.(구독 필요)
  5. ^ 스코퍼스 서지 데이터베이스에 의해 색인화된 샘슨 에이브람스키의 출판물.(구독 필요)
  6. ^ Abramsky, S.; Jagadeesan, R.; Malacaria, P. (2000). "Full Abstraction for PCF" (PDF). Information and Computation. 163 (2): 409. arXiv:1311.6125. doi:10.1006/inco.2000.2930.
  7. ^ Abramsky, S.; Ong, C. H. L. (1993). "Full Abstraction in the Lazy Lambda Calculus". Information and Computation. 105 (2): 159. doi:10.1006/inco.1993.1044.
  8. ^ "Samson Abramsky LinkedIn page".
  9. ^ DBLP Bibliography Server의 Samson Abramsky
  10. ^ Abramsky, S. (1993). "Computational interpretations of linear logic". Theoretical Computer Science. 111 (1–2): 3–57. doi:10.1016/0304-3975(93)90181-R.
  11. ^ ACM 디지털 라이브러리의 Samson Abramsky 저자 프로필 페이지
  12. ^ Microsoft Academic에서 색인화한 Samson Abramsky 출판물
  13. ^ 샘슨 아브람스키: 출판사
  14. ^ "Professor Samson Abramsky FRS FRSE". The Royal Society of Edinburgh. 19 May 2017. Retrieved 27 January 2019.
  15. ^ "BCS Academy of Computing BCS". www.bcs.org.
  16. ^ "DServe Archive Catalog Show". collections.royalsociety.org.
위키미디어 커먼즈에는 샘슨 에이브람스키와 관련된 미디어가 있습니다.