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
CCIMI is part of the Faculty of Mathematics, a collaboration between DAMTP and DPMMS