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
- 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.