Francesco N. Chotuck
Incoming PhD student, University of Cambridge.
Welcome to my website!
I am an incoming PhD student in Pure Mathematics at the University of Cambridge, where I will be joining Professor Timothy Gowers’ group. My research will focus on human-oriented automatic theorem proving — building systems that produce proofs that are not merely correct, but motivated: proofs where every step is accompanied by a clear reason for taking it, in the spirit of Professor Gowers’ programme for creating a database of motivated proofs.
I hold an MSc in Pure Mathematics from Imperial College London and a BSc in Mathematics from King’s College London. My broader interests lie at the intersection of mathematical logic, formalisation, and the foundations of automated reasoning.
📚 Mathematics Notes
I’ve compiled notes from my studies that are freely available:
-
Undergraduate Mathematics Notes (King’s College London) — Lecture notes from my BSc covering various topics in pure mathematics.
-
MSc Pure Mathematics Notes (Imperial College London) — Postgraduate notes on group theory, Lie algebras, manifolds, and more.
📖 Bookshelf
Check out my bookshelf to see what I’m currently reading and my thoughts on various books.