skip to content

Department of Computer Science and Technology

  • Research Staff
  • Postdoctoral 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 ; Automated 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.

Homepage:

https://www.cl.cam.ac.uk/~ak2110/

 

Contact Details

Room: 
FE22
Office phone: 
(01223) 7-63620
Email: 

ak2110@cam.ac.uk