Hello, I'm Jiamu!

A CS and Math student at the UW-Madison. Currenly my interests are primarily in the specification of functional and dependently typed languaged (like Idris my beloved), as well as in compiler design.

Coursework and my reflections

Fall 2024

Spring 2024

Fall 2023

Pre College ~ Dual Enrollment