Kwangkeun Yi

Professor

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

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.