I am a mathematics lecturer and tutor at the University of Melbourne, Department of Mathematics and Statistics and the Australian Catholic University, School of Arts and Sciences. I am also a tutor at St Mary's College, Newman 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.