Sungkeun Cho
PhD student, ROPAS Laboratory,
Department of Computer Science and Engineering,
Seoul National University
Zhangjiajie, China, September 2012
Education
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
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