I am a mathematics tutor and lecturer at the University of Melbourne, School 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 mathematics and statistics education, technology in education, 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
• Maths Blocks - a system for manipulating mathematical expressions with visual syntax blocks. Based on Blockly.
• Conceptual Learning with Interactive Applets - a project to develop interactive applets in GeoGebra to support conceptual understanding in undergraduate mathematics & statistics.
• 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.