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.
- 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.
- Syllable OS - some programs for the Syllable operating system.