Francesco N. Chotuck

I am a PhD student in the Department of Pure Mathematics and Mathematical Statistics at the University of Cambridge, supervised by Professor Timothy Gowers.

My research is on the theory of automatic theorem proving. With recent advances in AI, the way mathematics is done is changing rapidly. My current work focuses on deterministic approaches, as part of Professor Gowers’ programme on motivated proofs.

Lecture Notes

The following notes, compiled during my studies, are freely available:

• Undergraduate Mathematics Notes (King’s College London): lecture notes from my BSc, covering a range of topics in pure mathematics.

• MSc Pure Mathematics Notes (Imperial College London): postgraduate notes on group theory, Lie algebras, manifolds, and related topics.