I am a Senior Lecturer in Foundations at the Australian National University School of Computing, on Ngunnawal and Ngambri country. I'm also an Honorary Fellow at the University of Edinburgh Laboratory for Foundations of Computer Science, where I worked until 2024.
Lately, my research has been focused on property-based testing, semantics and temporal logic, but I have very broad research interests. See my personal bibliography for a full list of my work.
Previously, I lectured courses at UNSW Sydney, where I did my PhD with Gabriele Keller and the Trustworthy Systems Team lead by Gernot Heiser, focusing on the Cogent project.
Full details about me can be found on my curriculum vitæ, which includes a list of students. My contact details can be found here.
I'm also an experienced liturgical singer and cantor. I journal my experiences in church music at the Church Music Corner.