2006 ~ 2008:
M.S., School of Computer Science and Engineering,
Seoul National University
2001 ~ 2005: B.S., magna cum laude in Computer
Science, KAIST
1999 ~ 2001: Seoul Science High School
Research Interests
Program Analysis
Functional Programming
Operating Systems
Research Activities
Spring 2005: Visiting Research
Scholar, GRE(General
Recommendation Engine) Project, Department of Information
Systems, New Jersey Institute of Technology
Autumn 2004: Research Assistant, Scalable Linux Event-Driven
Network I/O for handling 10K active concurrent connections,
Network Computing Lab., Division of Computer Science, KAIST
Teaching
Spring 2007: Teaching Assistant,
4190.210 Principles of Programming, Seoul National University
Autumn 2006: Teaching Assistant, 4190.310
Programming Languages, Seoul National University
Spring 2006: Teaching Assistant,
4190.210 Principles of Programming, Seoul National University