About

I am a logician, recently approved to graduate from my PhD program in the School of Computing at the Australian National University (thesis: Fibred models of dual-context type theory and Kripke-Joyal forcing).

My supervisors were Nicola Gambino (University of Manchester) and Yoshihiro Maruyama (Nagoya University, previously Australian National University).

My research has centred on (homotopy) type theory, categorical logic and modal logic. I am also interested in constructive mathematics, non-classical logic, proof assistants, and interactions of philosophy and mathematics.

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