Edward Ayers


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

Hope this event goes well today! https://t.co/saetjMbVyL View on Twitter