About

I am a postdoc in the Sémagramme team at Inria Nancy, working on the Malinca project.

Prior to this, I completed a PhD 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). During this time, I enjoyed regular visits to the University of Manchester Category Theory Group.

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