양홍석(과학자)

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년 한국과학기술원 전산학부 교수로 이직했다.