Mingyeong Jeong

M.S. Student

Chungnam National University

Edit on GitHub

Career Profile

I am currently a M.S. at Chungnam National University, Republic of Korea, under the supervision of Professor Sungho Lee. My research interests include programming languages, static program analysis, and type systems, with a particular focus on static type analysis for Python.

Research Interests

  • Static analysis
  • Program testing
  • Type System

Education

M.S. Department of Computer Science and Engineering

03.2025 - present
Chungnam National University

Advisor: Sungho Lee

B.S. Department of Computer Science and Engineering

03.2021 - 02.2025
Chungnam National University

Publications

•
정민경 and 이성호, 선언적 추론 기반 Python 정적 타입 분석 기법, In 정보과학회논문지(JOK), To appear
•
정민경 and 이성호, 모듈화 분석 기반 교차 타입을 사용한 Python 정적 타입 분석, In 정보과학회(KSC), December 2025 우수논문상
•
Mingyeong Jeong and Sungho Lee, Type Checking for Python Using Intersection Types, In Companion Proceedings of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH-Companion, poster), October 2025
•
정민경 and 이성호, 파이썬 프로그램 대상의 정적타입 검사기 비교·분석, In 정보과학회(KCC) 학부생논문, June 2024 학부생부문 최우수상

Honors

학부생부문 최우수상

2024
한국정보과학회(KCC)

우수논문상

2025
한국정보과학회(KSC)