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
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 – 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)