Deepro Choudhury

Hi, my name is Deepro and I'm a student at the University of Oxford studying for a PhD as part of the StatML CDT - the centre for doctoral training in statistics and machine learning. I am advised by Tom Rainforth and Mark van Der Wilk. I am 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

My areas of interest include sequential decision making, uncertainty quantification, 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.