Edward Ayers

  • DPMMS

My research interests

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

Key Software

This is an exciting joint position with @CambridgeCMIH ⏰ Application deadline is 19th April https://t.co/WapXM5SyMH View on Twitter