양홍석 교수는 카이스트 전산학부에서 2017 부터 일하고 있습니다. 연구분야는 프로그래밍 언어인에, 주로 머신러닝, 통계학, 확률론, 분산시스템등 다른 분야와 프로그래밍 언어가 만났을때 생기는 문제를 연구하고 있습니다. 머신 러닝 모델을 쉽게 개발하고 이용할 수 있도록 해주는 프로그래밍 언어와 시스템을 만드는 것에 현재 주력하고 있습니다. 

양홍석 교수는 일리노이 주립대학 전산학과에서 2001년에 박사학위를 받았고, 그 후에 카이스트와 서울대학교에서 5년 동안 박사 후 연구원으로 근무했습니다. 2006년부터 2011년까지는 퀸메리 런던대학 전산학과에서 조교수로, 2011년부터 2017년까지는 옥스포드 대학 전산학과에서 부교수와 정교수로 있었습니다. 옥스포드에 있는 동안에 옥스포드 칼리지 중에 하나인 우스터 칼리지에서 튜토리알 펠로우로 근무하기도 했습니다. CONCUR 2012과 PLDI 2014에서 우수논문상을 받았고, 2016년에는 separation logic 개발에 기여한 이유로 동료들과 2016 CAV award를 공동 수상하였습니다. 2007년부터 2012년까지는 영국 EPSRC에서 선정한 고등 연구 펠로였습니다.