양홍석(과학자)

전산학, 컴퓨터공학 분야 과학자. 현 한국과학기술원 전산학부 교수.

프로그래밍 언어, 머신러닝, 통계학, 확률론, 분산시스템 등.

일리노이 주립대학 전산학과에서 2001년에 박사학위를 받고, 그 후에 카이스트와 서울대학교에서 5년 동안 박사 후 연구원으로 근무. 2006년부터 2011년까지는 퀸메리 런던대학 전산학과에서 조교수로, 2011년부터 2017년까지는 옥스퍼드 대학교 전산학과(Department of Computer Science)에서 부교수(2011년-2014년)와 정교수(2014년-2017년)로 재직. 또한 옥스퍼드 대학교의 우스터 컬리지(Worcester College)에서 튜토리알 펠로우로 근무 재직. CONCUR 2012과 PLDI 2014에서 우수논문상을 받았고, 2016년에는 separation logic 개발에 기여한 이유로 동료들과 2016 CAV award를 공동 수상. 2007년부터 2012년까지는 영국 EPSRC에서 선정한 고등 연구 펠로.

2017년부터 옥스퍼드 대학교 전산학과(Department of Computer Science)에서 한국과학기술원 전산학부 교수로 이직.