Registered user since Thu 6 Mar 2025
Name:Jay Lee
Bio:
Jay Lee is a Master’s student at Seoul National University, advised by Prof. Kwangkeun Yi. He builds tools and abstractions to help programmers and domain experts easily build reliable systems.
Country:South Korea
Affiliation:Seoul National University
Personal website: https://jaylee.xyz/
X (Twitter): https://x.com/ZetaJayLee
GitHub: https://github.com/Zeta611
Research interests:Programming Languages · Static Analysis · Program Synthesis · Human–Computer Interaction
Contributions
POPL 2026-profile
View general profile
View general profile