About
I am a PhD student in the School of Computing at the Australian National University, co-supervised by Yoshihiro Maruyama (Australian National University) and Nicola Gambino (University of Manchester).
My research interests centre on (homotopy) type theory and categorical logic.
Presently, I am thinking about categorical semantics for a particular kind of modal type theory (see Talks).
Previously, I worked on applications of type theory, specifically to the problems of
- formal semantics for natural language, and
- trust in the outcome of electronic vote counting in elections (see Publications).