Minkyoung Jeong took 우수논문상 at KSC 2025!
Minkyoung Jeong was honored with the Best Paper Award (우수논문상) at KSC 2025. The paper presents a novel declarative python type-checking technique leveraging intersection types. Congratulations!