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).