Athina Thoma is a lecturer in Mathematics Education at the Southampton Education School (University of Southampton). She has a BSc in Mathematics with a minor in Computer Science from the University of Ioannina (Greece) and a MA and PhD in Mathematics Education from University of East Anglia (UEA). Prior to joining University of Southampton, she worked as a Mathematics and Statistics tutor (UEA) and as a researcher in various projects at Imperial College London and UEA.
Athina is currently working with secondary mathematics trainees (PGCE) and teaches in undergraduate and postgraduate modules. Her research interests focus on students’ transition from secondary to university mathematics and the use of Interactive Theorem Provers (e.g., Lean) in the learning of proof at university level.