Oliver is a mathematician by training, with a doctorate in geometry. He spent ten years working in finance, and a few years at a tech startup. These days he’s involved in formalising mathematics with the Mathlib project. He lives in Dublin, Ireland.
