Sungkeun Cho

PhD student, ROPAS Laboratory, Department of Computer Science and Engineering, Seoul National University

Zhangjiajie, China, September 2012

Education

• Sep. 2009 - current, PhD student, ROPAS Laboratory, Department of Computer Science and Engineering, Seoul National University
  Advisor: Kwangkeun Yi
• Apr. 2002 - Mar. 2006, B.S., Programming Logic Group, College of Information Science, University of Tsukuba

Research interest

static program analysis, formal verification

Project

• SparrowBerry: A Verified Validator for an Industrial-Strength Static Analyzer link
• GMeta: A Generic Formal Metatheory Framework for First-Order Representations link

Publication

• GMeta: A Generic Formal Metatheory Framework for First-Order Representations. Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, and Kwangkeun Yi. ESOP 2012: The 21st European Symposium on Programming.
  pdf, bibtex

Teaching experience

• 4541-664A Program Analysis: Theories and Practices (TA), Spring 2011 link
• 4190-310 Programming Languages (TA), Fall 2010 link
• 4190-210 Principles of Programming (TA), Fall 2009 link

External reviewer

POPL'13, SAS'12, PEPM'12, SSV'11

Contact

Email

skcho at ropas.snu.ac.kr

Phone

+82-2-880-1865

Address

Room 312-2, Building 302, Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 151-744, Korea

last modified: 9 March 2013