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

To Create a Semantic Search Engine for Mathematical Literature

View the project

Key Software

Here is a short list of some of the many great online seminar series for mathematicians https://t.co/sCCTNmWuvAhttps://t.co/6LiCeggyXt View on Twitter