I am a mathematics tutor and lecturer at the University of Melbourne, Department of Mathematics and Statistics. I have also previously taught at the Australian Catholic University, School of Arts and Sciences and at St Mary's College and Queen's College.

My research interests include mathematical logic, theoretical computer science, computability theory (aka recursion theory) and algorithmic randomness.

I was formerly a postgraduate student at the School of Mathematics, University of Leeds, UK.

Contents:

• Publications and preprints
• Turing machine simulator - a web-based Turing machine simulator, written in Javascript, with some example Turing machine programs.
• False language interpreter - a web-based interpreter for the False language, written in Javascript, with some example False programs.
• Syllable OS - some programs for the Syllable operating system.