- Research Staff
Research
Logical foundations of type theories, verification of proofs and programs and machine learning for theorem proving.
Department of Computer Science and Technology
Logical foundations of type theories, verification of proofs and programs and machine learning for theorem proving.
apdb3@cam.ac.uk
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