Jay Lee is a Master’s student at Seoul National University, advised by Professor Kwangkeun Yi. His research interests include static analysis, modeling of real-world software systems, and functional programming. He aims to support real-world programmers through methods grounded in PL.