Kwangkeun Yi
Professor (Vice Chair for Research)
Contact info
Office:
302 Building, Room 428
Phone:
(02) 880-1857
Fax:
(02) 882-7234
Email:
kwang [at] cse [dot] snu [dot] ac [dot] kr
Website:
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
Research areas
- Static program analysis
- Static analysis for safe softwares
- Programming systems application of static analysis technology
- HOT (higher-order & typed) programming system
Experience
- 2008, 2012: visiting professor, MIT(CSAIL), CMU(CS)
- 2008 – now: 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/Assoc. Professor, Dept. of Computer Science, KAIST
- 1993 – 1995: Member of Technical Staff, SW Principles Research Dept, Bell Labs