Welcome! I am an Assistant Professor at DGIST, where I lead a research group working on programming languages and software engineering. I am broadly interested in developing programming language techniques for addressing challenges in software engineering and machine learning, and I especially enjoy designing domain-specific languages (DSLs) and program synthesis algorithms for pointer analysis, explainable graph machine learning, and system software testing.
- Email: minseok.jeon@dgist.ac.kr
- Phone: +82-10-4139-4729
- DGIST, Daegu, South Korea
- GitHub: MinseokJGit
Research Interests
I am broadly interested in developing programming language techniques for addressing challenges in various fields, including software engineering and machine learning. Specifically, I take pleasure in designing domain-specific programming languages (DSLs) and developing program synthesis algorithms to address these challenges. In particular, my focus is on designing DSLs and synthesis algorithms for effective pointer analysis, a key component in compiler optimization, and explainable graph machine learning. I am also interested in developing DSLs tailored to identify effective test cases in system software testing.
See the Research page for more details, and the Publications page for a full list of papers.
Education
- Integrated M.S. & Ph.D. in Computer Science and Engineering, Korea University — Mar. 2017 – Feb. 2023
- B.S. in Computer Science and Engineering, Korea University — Mar. 2011 – Feb. 2017
Employment History
- Assistant Professor, DGIST — Sept. 2025 – Present
- Research Professor, Korea University — Jul. 2024 – Aug. 2025
- Postdoctoral Researcher, Korea University — Mar. 2023 – Jun. 2024
Service
Program Committee Member: NSAD 2026, ICFP 2025, SOAP 2025, OOPSLA 2024
Journal Reviewer: TOSEM (2025, 2026)