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