I am studying for a Ph.D. under the supervision of Prof. Edmund Clarke at Computer Science Department, Carnegie Mellon University. My research focuses on the design and implementation of efficient SMT solvers which can handle non-linear real/floating-point arithmetic and their applications to automated theorem proving, embedded/hybrid-system model checking, and static analysis. Here is my [CV].
Education
- 2010.09 - Present, Ph.D. student, Computer Science Department, Carnegie Mellon University
- 2009.08, M.S., Programming Research Laboratory, School of Computer Science, Seoul National University
- 2007.02, B.S. cum laude, School of Computer Science and Engineering, Seoul National University
Contact Info
- Room 7609 Gates Hillman Complex
School of Computer Science Carnegie Mellon University
5000 Forbes Ave Pittsburgh, PA 15213-3891 - Email: soon…@cs.cmu.edu
- Phone: (412)-268-3076
- GPG DSS Public Key
Awards and Honors
- 2010.08 - 2014.05, Kwanjeong Scholarship, Kwanjeong Education Foundation
- 2010.03, BK21 Excellent Research Award, School of Computer Science and Engineering, Seoul National University
- 2008.09 - 2009.08, National Graduate Science & Technology Scholarship, Korea Student Aid Foundation
- 2008.08 - 2008.11, BK21 Global Internship (MSR), Korea Research Foundation
- 2008.03 - 2008.08, Brain Korea 21 Scholarship, School of Computer Science and Engineering, Seoul National University
- 2007.08 - 2008.02, BK21 Global Internship (MSRA), Korea Research Foundation
- 2007.03 - 2007.08, Brain Korea 21 Scholarship, School of Computer Science and Engineering, Seoul National University
Teaching Experience
- 2012 Spring, Teaching Assistant, CMU 15-812 Semantics of Programming Languages(*)
- 2012 Spring, Teaching Assistant, CMU 15-817 Graduate Verification Seminar : Automated Theorem Proving
- 2011 Fall, Teaching Assistant, CMU 15-414 Bug Catching: Automated Program Verification and Testing (Students Feedback)
- 2009 Spring, Teaching Assistant, SNU 4541.664A Program Analysis
- 2008 Fall, Teaching Assistant, SNU 4190.210 Principles of Programming
- 2008.02.27 - 29, Lecturer, Free Computer Education for Students in Gwanak Area
- 2007 Summer, Teaching Assistant, 2007 Programming Made Easy
- 2007 Spring, Teaching Assistant, SNU 4190.210 Principles of Programming
Coursework at CMU
- Spring 2012 15-817 Automated Theorem Proving
- Spring 2012 15-781 Machine Learning (*) [Project Poster, Report]
- Fall 2011 15-819 HOT(Higher-Order Typed) Compilation
- Spring 2011 15-817 Model Checking and Abstract Interpretation
- Spring 2011 15-745 Optimizing Compilers (*) [Project Report]
- Spring 2011 15-750 Graduate Algorithms (*)
- Spring 2011 15-812 Programming Language Semantics (*)
- Fall 2010 15-744 Computer Networks (*) [Project Poster, Report]
- Fall 2010 15-814 Type Systems for Programming Languages (*)
- Fall 2010 15-996 Immigration Course
Working Experience
- 2012.06 - 2012.08, Research Intern, Software Engineering Institute, Carnegie Mellon
- 2009.09 - 2010.07, Research Associate, ROSAEC(Research On Software Analysis for Error-free Computing) Center, SNU
- 2008.08 - 2008.11, Research Intern, PEX Team, Foundation of Software Engineering Group, Microsoft Research Redmond
- 2007.08 - 2008.02, Research Intern, Theory Group, Microsoft Research Asia
Professional Activities
External Reviewer : SAS 2013, FoSSaCS 2013, POPL 2013, APLAS 2012, SAS 2012, GPCE 2010, SPLASH 2010, CAV 2010, VMCAI 2010, SAS 2009, DEFECTS 2009, APLAS 2007
Extracurricular Activities
May 2009 - Present, English-Korean Translator and Reviewer in TED Open Translation Project