Ben Davies

University College London

• ben.m.j.davies@ucl.ac.uk
• daviesben.com
• BMJDavies
• 0000-0003-1134-7205

I work in undergraduate mathematics education, focused primarily on the assessment of proof and argumentation. I am interested in novel assessment approaches of university mathematics, and in the automation of proof comprehension assessment in particular. I am also a leader in STACK development in the Mathematics Department at University College London (UCL).

Questions

Ben is a contributor to these questions:

• Q17: What are students' views on e-assessment, and what are their expectations from automated feedback?
• Q23: E-assessment task designers often convert questions that could be asked on a traditional pen and paper exam: what are the implications, technicalities, affordances and drawbacks of this approach?
• Q49: How can the assessment of proof be automated?
• Q50: What can automated theorem provers (e.g. LEAN) offer to the e-assessment of proof comprehension?
• Q51: What types/forms of proof-comprehension-related questions can be meaningfully assessed using currently available e-assessment platforms?