Edward Ayers

  • DPMMS

My research interests

  • Type theory
  • Category theory
  • Computability
  • Automated theorem proving
  • User interface design

People I collaborate with

I’m currently working on 1 CCIMI project

To Create a Semantic Search Engine for Mathematical Literature

View the project

Key Publications

Last chance to sign up for the Cambridge #WomeninMaths exhibition launch tomorrow! https://t.co/4DcO0EqZc4 https://t.co/WTl0j5OxxD View on Twitter