I am a Lecturer in Pure Mathematics. Recent teaching duties have included courses in logic, computability, analysis, and linear algebra. My research specialities are in mathematical logic. In particular in nonstandard models of arithmetic and related areas of model theory and nonstandard analysis. I am also interested in computer representation of mathematics, MathML and OpenMath in particular.