News

[2026-08-01] I’m moving to Zurich in the fall for graduate studies at ETH.
[2025-10-05] I’m attending ICFP/SPLASH 2025 in Singapore as a student volunteer.
[2025-05-14] I’m attending PLDI 2025 in Seoul as a student volunteer.
[2025-04-02] I’m visiting the HKUST TACO lab in the summer to work on MLscript with Lionel Parreaux.