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.
Latest from Oliver Nash
We'll assume you're ok with this, but you can opt-out if you wish.