You are here

Kwangkeun Yi

Professor (Department Head)

Contact info

Office: 
302 Building, Room 428
Phone: 
(02) 880-1857
Fax: 
(02) 882-7234
Email: 
kwang [at] ropas.snu.ac.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 – 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)