- 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.
Department of Computer Science and Technology
AI and ML for reasoning and theorem proving, computer-assisted proofs, formal methods.
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2023 University of Cambridge