skip to content

Department of Computer Science and Technology

  • Visiting Postdoctoral Fellow

I am a visiting postdoctoral fellow working with Challenger Mishra on AI for conjecture discovery. Prior to this, I completed my PhD at the University of Exeter under the supervision of Nigel Byott, and MSc by Research at Exeter under the supervision of Kyle Pratt.

My research focuses on AI for mathematics, machine learning, and neurosymbolic reasoning. During my doctoral studies, I worked on probabilistic number theory.

Alongside my academic work, I founded ThinkLabsAI and previously served as co-lead of the Early Career Research Network at the University of Exeter. I have also participated in various entrepreneurial competitions and outreach activities. Further details are available in my CV, which can be provided upon request.

Publications

  • A central limit theorem for partitions involving generalised divisor functions (jointly with N. Robles). Submitted to Acta Arithmetica. Pre-print: https://arxiv.org/abs/2510.19740
  • Exponential Sums with Additive Coefficients and its Consequences to Weighted Partitions. Accepted to Canadian Journal of Mathematics (In press). Pre-print: https://arxiv.org/abs/2412.21129
  • Partitions into semiprimes (jointly with N. Robles, A. Zaharescu and D. Zeindler). Submitted to Mathematische Zeitschrift. Pre-print: https://arxiv.org/abs/2212.12489

Thesis:

  • On the distribution of certain arithmetic functions, PhD thesis.
  • Selberg's central limit theorem for families of L-functions, MbyRes thesis.

Contact Details

Room: 
FC03
Email: 

md2147@cam.ac.uk