Research

My research interests are in type theories and their applications. I enjoy doing research on quantum programming languages and their categorical semantics. I am working on the design and implementation of a version of Proto-Quipper, see a tutorial here.
I am also organizing the ATCAT seminar this semester, here is the current schedule.


Papers


Projects


Teaching


Talks


Notes