Education
Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, 1993
M.S. in Computer Science, University of Illinois at Urbana-Champaign, 1990
B.S. in Computer Science and Statistics, Seoul National University, 1987
302 Building, Room 428호
(02) 880-1857
-
Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, 1993
M.S. in Computer Science, University of Illinois at Urbana-Champaign, 1990
B.S. in Computer Science and Statistics, Seoul National University, 1987
Static program analysis
Static analysis for safe softwares
Programming systems application of static analysis technology
HOT (higher-order & typed) programming system
2008 – 2015: Director, Research On Software Analysis for Error-free Computing Center, Engineering Research Center of Excellence
1998 – 2003: Director, National Creative Research Initiative Center for Research On Program Analysis System
1995 – 2003: Assistant/Associate Professor, Dept. of Computer Science, KAIST
1993 – 1995: Member of Technical Staff, SW Principles Research Dept, Bell Labs.
2016: Research Scientist, Facebook
Visiting Professor, Stanford (2017), MIT(2012,2008), CMU(2008), École Normale Supérieure, Paris(2016, 2002)