Tim Gowers

  • Department of Pure Mathematics and Mathematical Statistics

My research interests

  • Analysis
  • Combinatorics

People I collaborate with

I’m currently working on 1 CCIMI project

Human oriented automatic theorem proving

View the project

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