Publications

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)