- Affiliate
I study automated theorem provers and how to make them easier to use for mathematicians.
Department of Computer Science and Technology
William Gates Building
JJ Thomson Avenue
Cambridge. CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2022 University of Cambridge