skip to content

Department of Computer Science and Technology

  • Affiliate

I study automated theorem provers and how to make them easier to use for mathematicians.

Contact Details

Room: 
GC01
Email: 

ewa21@cam.ac.uk