My research focuses on the teaching and learning of mathematics at university level and has two strands: - The summative assessment of mathematics at university. - Mathematical reasoning and technology in university mathematics teaching (use of automated theorem provers such as Lean - CAA assessment)
In the first strand I am interested in the impact of the discipline of study and student epistemological beliefs on their perceptions of assessment. Much of my work in this field has been supported by the HEA. I am also interested in university students’ study habits when preparing for assessment and the use of automated assessment.
My second research interest is mathematical reasoning at post-compulsory level, with emphasis on the use of Interactive Theorem Provers Lean (https://leanprover-community.github.io) for teaching first year mathematics.