Research Interests: static program analysis; static analysis for safe softwares; programming systems application of static analysis technology; HOT (higher-order & typed) programming system; probabilistic-X
- Vice Dean, Planning & Strategy, College of Engineering, Seoul National University
- Assistant/Associate Professor, Dept. of Computer Science, KAIST
- Member of Technical Staff, Software Principles Research Dept., Bell Labs., Murray Hill
- Ph.D. Computer Science, Univ. of Illinois at Urbana-Champaign
- B.S. Computer Science & Statistics, Seoul National University
- Visiting Professor: Stanford Univ. (2017), Facebook London (2016), École Normale Supérieure, Paris (2016), MIT (2012), MIT (2008), Carnegie Mellon Univ. (2008), École Normale Supérieure, Paris (2002), Bell Labs(1998)
국가
대한민국
소속기관
서울대학교 (학교)
연락처
02-880-1857 http://ropas.snu.ac.kr/~kwang/
책임자
이광근 kwang@ropas.snu.ac.kr