Research

Broadly speaking, I am interested in type theories and their applications in programming languages. I am working on the design and implementation of a linear dependently typed system for quantum programming language, see a tutorial here.
I am also organizing the ATCAT seminar this semester, here is the current schedule.

Education


Papers


Projects


Teaching


Talks


Notes