Deepro Choudhury

I'm a student at the University of Cambridge studying for an MPhil in Advanced Computer Science.

In October, I will be starting a PhD at the University of Oxford, as part of the StatML CDT - the centre for doctoral training in modern statistics and statistical machine learning. My first project will be advised by Tom Rainforth and Mark van Der Wilk. I will be in the department of statistics and department of computer science.

I am fully funded by the EPSRC and am a recepient of the Oxford-Radcliffe Scholarship (one of 13 awarded).

Research

I'm interested in the intersection of mathematics and machine learning. This includes machine learning for mathematics, proof assistants, theoretical machine learning and category theory.

I am an avid mathematician with an interest in formal verification. I program in Lean and am a contributor to Lean's mathlib library. I also write proofs in Isabelle.

I won the inaugural LLMxLaw hackathon at Cambridge which was part of the Stanford CodeX initiative - you can read about our tool here.