샘슨 에이브럼스키

3. 경력 및 연구

샘슨 에이브럼스키는 2021년부터 유니버시티 칼리지 런던의 컴퓨터 과학과 교수로 재직 중이며, 2004년부터 영국 왕립 학회 회원이다.^[1]

그의 이전 직책은 다음과 같다.

3. 1. 주요 연구 분야

• 게임 시맨틱스 개발과 이를 프로그래밍 언어 의미론에 적용
• 논리적 형식의 영역 이론
• 레이지 람다 계산법
• 엄격성 분석
• 동시성 이론
• 상호작용 범주
• 상호작용 기하학
• 양자 계산과 정보에 대한 고차원적인 방법

3. 2. 학술 단체 활동

• 2024년, 평생에 걸친 전산 이론 기여에 대해 수여되는 EATCS 상을 수상했다. 그의 공로를 기리는 연설에서는 도메인 이론, 게임 시맨틱스, 양자 계산 및 정보에 대한 범주론적 접근 방식에 대한 기여가 언급되었다.^[15]
• 2014년, 논리적 형태의 도메인, 게임 시맨틱스, 범주론적 양자 역학 및 문맥적 시맨틱스에 대한 기여로 ACM 펠로우로 선출되었다.^[2]
• 2013년, BCS 러브레이스 메달을 수상했다.^[16]
• 그의 논문 3편이 LiCS Test-of-Time 상(20년 회고)을 수상했다.^[17]
• 샘슨 에이브럼스키. "논리적 형태의 도메인 이론"(1987). (LiCS 2007에서 수상)
• 샘슨 에이브럼스키, 혼다 코헤이, 가이 맥커스커. "일반 참조에 대한 완전 추상 게임 시맨틱스"(1998). (LiCS 2018에서 수상)
• 샘슨 에이브럼스키와 밥 코에케. "양자 프로토콜의 범주론적 시맨틱스." (2004). (LiCS 2024에서 수상)^[18]
• 2007년, 양자 정보학을 위한 기초 구조 및 방법에 대한 EPSRC 선임 연구 펠로우십을 수상했다.

4. 주요 출판물

샘슨 에이브럼스키는 도브 가바이, 톰 마이밤과 함께 ''컴퓨터 과학 논리 핸드북'' (1~5권)을 공동 편집했다.^[13] 2019년 10월 기준, 그의 h-지수는 57이었다.^[13]

4. 1. 주요 저서

샘슨 에이브럼스키는 200편이 넘는 출판물을 발표했으며, 2019년 10월 기준 그의 h-지수는 57이었다.^[13]

4. 2. 주요 논문

에이브럼스키는 200편이 넘는 출판물을 발표했으며, 2019년 10월 기준 그의 h-지수는 57이었다.^[13]

5. 수상 및 영예

샘슨 에이브럼스키는 왕립 학회 회원(2004), 에든버러 왕립 학회 회원(2000),^[14] 아카데미아 유로피아 회원(1993)이다.

• 2024년에는 평생에 걸친 전산 이론 기여로 EATCS 상을 수상했다. 그의 공로를 기리는 연설에서는 도메인 이론, 게임 시맨틱스, 양자 계산 및 정보에 대한 범주론적 접근 방식에 대한 기여가 언급되었다.^[15]
• 논리적 형태의 도메인, 게임 시맨틱스, 범주론적 양자 역학 및 문맥적 시맨틱스에 대한 기여로 ACM 펠로우(2014)로 선출되었다.^[2]
• 2013년에 BCS 러브레이스 메달을 수상했다.^[16]
• 그의 논문 3편이 LiCS Test-of-Time 상(20년 회고)을 수상했다.^[17]
• 샘슨 에이브럼스키. "논리적 형태의 도메인 이론"(1987). 이 상은 LiCS 2007에서 수여되었다.
• 샘슨 에이브럼스키, 혼다 코헤이, 가이 맥커스커. "일반 참조에 대한 완전 추상 게임 시맨틱스"(1998). 이 상은 LiCS 2018에서 수여되었다.
• 샘슨 에이브럼스키와 밥 코에케. "양자 프로토콜의 범주론적 시맨틱스." (2004). 이 상은 LiCS 2024에서 수여되었다.^[18]
• 2007년에 양자 정보학을 위한 기초 구조 및 방법에 대한 EPSRC 선임 연구 펠로우십을 수상했다.

참조

_[1] 웹사이트 ABRAMSKY, Prof. Samson http://www.ukwhoswho[...] Bloomsbury Publishing
_[2] 웹사이트 Mr Samson Abramsky https://awards.acm.o[...]
_[3] GoogleScholar
_[4] Scopus
_[5] 논문 Full Abstraction for PCF http://www.cs.ox.ac.[...]
_[6] 논문 Full Abstraction in the Lazy Lambda Calculus https://www.research[...]
_[7] 웹사이트 Samson Abramsky LinkedIn page http://www.linkedin.[...]
_[8] DBLP
_[9] 논문 Computational interpretations of linear logic https://www.cs.ox.ac[...]
_[10] ACMPortal
_[11] AcademicSearch
_[12] MathGenealogy
_[13] 웹사이트 Samson Abramsky : Publications http://www.cs.ox.ac.[...]
_[14] 웹사이트 Professor Samson Abramsky FRS FRSE https://www.rse.org.[...] 2017-05-19
_[15] 웹사이트 The EATCS Award 2024 - Laudation for Samson Abramsky https://eatcs.org/in[...]
_[16] 웹사이트 BCS Academy of Computing | BCS https://www.bcs.org/[...]
_[17] 웹사이트 LICS Test-of-Time Award https://lics.siglog.[...]
_[18] 웹사이트 ICALP/LICS/FSCD 2024 https://compose.ioc.[...]
_[19] 웹사이트 DServe Archive Catalog Show https://collections.[...]