Research output per year
Research output per year
Research activity per year
I studied as an undergraduate at Victoria University of Wellington, completing a Master's thesis under the supervision of Robert Goldblatt. I then went to the University of Cambridge to complete a PhD with Andrew Pitts. My first postdoc was at Australian National University, where I collaborated with Rajeev Goré and Alwen Tiu, and my second was in Aarhus University, where I worked with Lars Birkedal. I then returned to Australian National University to take up a teaching-focused job, taking main responsibility for introducing undergraduate students to computer science through the course 'Programming as Problem Solving' since 2019.
PhD from the University of Cambridge; MSc, BSc (Hons) and BSc from Victoria University of Wellington
I am interested in the application of formal logic to problems in computer science, particularly the use of intuitionistic logic, modal logic, type theory, and category theory to describe programming languages and mechanisable foundations for mathematics.
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review