Hello, I am Edward Ayers.

I am currently a research scientist at Five AI, working on verification for machine learning.

I have very nearly finished a mathematics PhD at the University of Cambridge in DPMMS. Supervised by W.T. Gowers and Mateja Jamnik. I studied interactive theorem proving and automated reasoning for mathematicians. I am still writing up my thesis which can be found here.

I contribute to the community fork of the Lean proof assistant, and built the 'ProofWidgets' UI system for it. A proof assistant is a piece of software that helps you write formalised mathematics that can be checked for correctness by a computer.

Projects and Publications

© 2021 E.W.Ayers. Built with Gatsby