I’m Seongmin Ko, an undergraduate student studying computer science in Korea University. Currently I am interested in programming languages, compiler, program synthesis, formal languages and static analysis.
Educational Background
- 2024.09 ~ Present - M.S. of Computer Science, Korea University
- 2018.03 ~ 2024.08 - B.S. of Computer Science and Mathematics, Korea University