I'm interested in solving various problems in programming language by program analysis.
- Program Analysis
- Program Repair
- Program Transformation
- Sep. 2017 ~ present, MS/PhD Intergrated Course. Dept. of Computer Science and Engineering, Korea University
- Mar. 2011 ~ Aug. 2017, B.S. Dept. of Mathematics, Korea University
- 05/26/18 ~ 06/03/18, ICSE, Gothenburg, Sweden [report]
- 11/05/18 ~ 11/09/18, FSE, Florida, USA [report]