skip to content

Department of Computer Science and Technology

  • Research Staff
  • Senior Research Associate


I am a mathematician working within the ERC Project ALEXANDRIA led by Professor Lawrence Paulson. I am a member of the Automated Reasoning Group which is a part of the Programming, Logic and Semantics Research Group.

Research Interests:

Formalisation of mathematical proofs with Isabelle ; Interactive theorem proving and verification; Mechanisation of mathematics; Intersection of logic and mathematics; (Applied) proof theory, in particular I have been working on proof mining (pen-and-paper extraction of computable bounds from mathematical proofs) applied to proofs in nonlinear analysis, differential equations and fixed point theory; Foundations of mathematics.



Contact Details

Office phone: 
(01223) 7-63620