Bhavik Mehta

  • University of Cambridge
  • DPMMS - Department of Pure Mathematics and Mathematical Statistics
    PhD student in Mathematics of Information

My research interests

  • Automated theorem proving
  • Category theory
  • Functional programming
  • Machine learning

People I collaborate with

I’m currently working on 1 CCIMI project

Human oriented automatic theorem proving

View the project

Key Software