Notice Board

This is my personal website. Feel free to look around.

Recent Activities

  • 2025-11
    Our team has developed a web-based IDE for the Pie, an educational language introduced in The Little Typer. It is now available at https://source-academy.github.io/pie-slang/!
  • 2025-10
    Me and my teammate Kyriel got into the finalist at ICFP 2025 SRC and won the 3rd prize, thanks to our hard work and dedication, also thank you prof. Michael for your support.
  • 2025-07
    Our work: "Mini-Mu - A Language for Understanding Duality" got accepted to ICFP 2025! See you there!
  • 2025-05
    Beginning of summer break, working on personal projects and the UROP project on computational duality
  • 2025-04
    Attending the STEP26 showcase in NUS, presenting the work: "Pie in Source Academy". We got Best Project Award! Many thanks to my teammates, prof. Martin and everyone who supported us!
  • 2025-01
    Admitted to the UROP program, working under supervision of Prof. Michael D. Adams
  • 2024-12
    From Paris to Instanbul, had a wonderful time exploring the culture and history of Europe!