현재 서울대학교 컴퓨터공학부 교수. KAIST 전산학과 교수 역임. 교육과학기술부 지정 선도연구센터 센터장, 과학기술부 지정 창의연구단 단장 역임. Bell Labs-Software Principles Research Department 정규 연구원 역임. MIT, Stanford, CMU, 파리 고등사범학교(ENS Paris) 방문교수, Facebook Research Scientist 역임. 저서: Introduction to Static Analysis. MIT Press. 2020. 컴퓨터과학이 여는 세계. 인사이트. 2015. 홈페이지: kwangkeunyi.snu.ac.kr