Edward Ayers

  • DPMMS

My research interests

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

Key Software

📢 We're pleased to announce that our CCIMI Annual Industry Day will be taking place on Wed 23 Nov 2022 at… https://t.co/s2WCpWjcn2 View on Twitter