Mingyeong Jeong

Publications

•

정민경 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)