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.