William Demeo
Formal Methods Engineer at Input Output (IOHK)
Boulder, Colorado, United States
Summary
👤
Senior🎓
Top SchoolWilliam Demeo is a Formal Methods Engineer with 12 years of experience applying deep mathematical theory to make complex systems verifiable and reliable. Currently at IOHK and concurrently contributing as a research mathematician and formal verification engineer at Thmpr Laboratory, he blends category-theoretic and universal algebra insights with practical tool-building in Agda, Lean, Scala, and Spark. His background includes multiple postdoctoral and teaching positions across US and European universities, culminating in a PhD in Mathematics and a rare combination of economics and math at the undergraduate level. William’s work sits at the intersection of complexity theory, formal methods, and emerging AI techniques—he describes himself as an “AI alchemist,” signaling an experimental bent toward automating reasoning workflows. Colleagues rely on him for rigor in specification and proof engineering as well as for bridging abstract theory and production-grade verification. Based in Boulder, Colorado, he brings a scholarly pedigree to industrial-scale reliability problems while actively exploring new formal tools and languages.
12 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics, Doctor of Philosophy (Ph.D.), Mathematics at University of Hawaii at ManoaMaster of Science - MS, Mathematics, Master of Science - MS, Mathematics at New York UniversityBachelor of Arts - BA, Economics, Bachelor of Arts - BA, Economics at University of Virginia
Stackoverflow
123reputation
0reached
1answer
0questions
Github Skills (85)
agda10
cryptocurrency10
ada10
cardano10
category-theory10
cpp10
dependent-types10
polymorphism10
proofs10
ledger10
theory10
latex10
coq10
homotopy-type-theory10
type-theory10
Programming languages (13)
Github contributions (5)
williamdemeo/Talks
May 2014 - Jan 2018
Contributions:54 commits, 39 pushes in 3 years 9 months
UniversalAlgebra/fin-lat-rep
Jun 2015 - Jan 2018
Contributions:104 pushes, 1 branch, 15 comments in 2 years 8 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.