Oliver Flatt
PHD Student at University of Washington
Salt Lake City, Utah, United States
Summary
🤩
Rockstar🎓
Top SchoolOliver Flatt is a PhD student in Computer Science at the University of Washington with 11 years of engineering and research experience focused on compilers, theorem proving, and automated reasoning. He contributes to high-performance open-source tooling—most notably enhancing explanation generation, proof production, and performance in the e-graph library egg—demonstrating deep systems-level insight into proof-producing infrastructures. His work sits at the intersection of formal methods and practical engineering, including a formally verified authorization optimization for Amazon’s Cedar (proved in Lean). Past roles span automated solver development for numerical stability, full-stack internships, and building testing frameworks for synthetic biology tools, showing adaptability across domains. Based in Salt Lake City, he combines rigorous formal verification skills with hands-on performance optimization and a knack for turning complex proofs into efficient, production-ready implementations.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of WashingtonThe University of Utah
Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (7)
algorithm10
data-structures10
algorithms10
rust10
data-structure10
architecture9
architectures9
Programming languages (13)
Github contributions (5)
egraphs-good/egg
Apr 2020 - Jan 2023
egg is a flexible, high-performance e-graph library
Role in this project:
Backend Developer
Backend DeveloperContributions:35 reviews, 16 commits, 28 PRs in 2 years 9 months
Contributions summary:Oliver primarily focused on enhancing the `egg` library's core functionality. Their work included adding and modifying features related to explanation generation and proof production, a key aspect of the library's design. They also refactored the explanation structure for improved caching and implemented various performance optimizations. The contributions demonstrate a strong understanding of the internal workings and the impact on the overall efficiency.
datalogsymbolic-computationgraph-libraryeggperformance
oflatt/soniconion
Oct 2019 - Jan 2021
Contributions:217 commits, 2 PRs, 247 pushes in 1 year 3 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.