Research

My research interests are in type theories and their applications. I enjoy doing research on quantum programming languages and their categorical semantics.


Papers


Talks


Teaching