Oliver Butterley
Deputy Chief Scientist at University of Rome Tor Vergata
Luxembourg
Summary
🤩
Rockstar🎓
Top SchoolOliver Butterley is a Deputy Chief Scientist and researcher with a PhD in Mathematics and six years of industry experience bridging formal verification, Lean-assisted mathematics, and trustworthy AI. Based in Luxembourg and holding academic posts at the University of Rome Tor Vergata, he blends deep mathematical training with practical work on verified programs and AI safety at the Beneficial AI Foundation. His background includes postdoctoral research at ICTP and Vienna and focused contributions as a Lean expert formalizing mathematical results, highlighting a rare combination of proof engineering and applied AI research. Oliver is comfortable translating abstract formalism into auditable software, and his career signals a commitment to building verifiable foundations for high-stakes AI systems. An underappreciated strength is his sustained cross-pollination between academic publishing and hands-on formalization work, which accelerates reproducible, trustworthy tooling.
6 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Imperial College LondonM.Sc., Mathematics, M.Sc., Mathematics at King's College London
Github Skills (15)
mathematics10
computer-algebra-system10
in-progress10
computer-algebra9
theorem-proving9
hosts8
math8
agda7
homotopy-type-theory6
infrastructure6
theorem5
dependent-types5
proof-assistant5
programming-language4
compiler3
Programming languages (8)
Github contributions (5)
oliver-butterley/personal-webpage
Mar 2023 - Nov 2024
Personal webpage
Contributions:4 PRs, 47 pushes, 5 branches in 1 year 8 months
oliver-butterley/lean-update
May 2024 - Oct 2024
Contributions:10 releases, 4 reviews, 14 PRs in 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.