1. 개요
양홍석은 컴퓨터 과학자이다. 현 한국과학기술원 전산학부 교수이다.2. 연구 분야
양홍석은 프로그래밍 언어, 머신러닝, 통계학, 확률론, 분산시스템 등을 연구한다.3. 이력
- 일리노이 주립대학교 전산학과에서 2001년에 박사학위를 받고, 그 후에 카이스트와 서울대학교에서 5년 동안 박사후연구원으로 근무했다.
- 2006년부터 2011년까지는 퀸 메리 런던 대학교 전산학과에서 조교수로, 2011년부터 2017년까지는 옥스퍼드 대학교 전산학과(Department of Computer Science)에서 부교수(2011년-2014년)와 정교수(2014년-2017년)로 재직했다. 또한 옥스퍼드 대학교의 우스터 컬리지에서 튜토리알 펠로우로 근무하였다.
- CONCUR 2012과 PLDI 2014에서 우수논문상을 받았고, 2016년에는 separation logic 개발에 기여한 이유로 동료들과 2016 CAV award를 공동 수상했다. 2007년부터 2012년까지는 영국 EPSRC에서 선정한 고등 연구 펠로를 역임했다.
- 2017년 한국과학기술원 전산학부 교수로 이직했다.