Registered user since Fri 12 Sep 2025
Name:Leo Seojun Lee
Country:United Kingdom
Affiliation:University of Oxford
Personal website: https://smjleo.com
GitHub: https://github.com/smjleo
Research interests:programming languages, compilers, verification, concurrency
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile