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
- PhD thesis
- PaRoT presented at NASA Formal Methods 2020
- A human-oriented term rewriting system was published at KI 2019.
- A paper on ProofWidgets has been published at ITP 2021. Paper, talk slides
- My GitHub profile