skip to content

Department of Computer Science and Technology

  • Research Staff
  • This person is no longer active in the department.

Research

AI and ML for reasoning and theorem proving, computer-assisted proofs, formal methods.

Contact Details

Email: 

apdb3@cam.ac.uk