Sotabase

Career

· Applied Science Intern In Automated Reasoning, Amazon2025–2025
· Doctor of Philosophy - PhD, Computer Science, University of Washington2022–2027
· PHD Student, University of Washington2022–
· Software Intern, Lucid2019–2019
· Researcher, Myers Research Group2019–2019
· Undegraduate Researcher, Professor Panchekha2019–2022
· Computer Science, None, University of Utah2018–2022
· Camp Instructor, University of Utah2015–2018

Publications (9)

Proc. ACM Program. Lang. · 2020
243
cited
Proceedings of the ACM on Programming Languages · 2023
45
cited
IEEE Symposium on Computer Arithmetic · 2021
17
cited
Formal Methods in Computer-Aided Design · 2022
17
cited
12
cited
IEEE Symposium on Computer Arithmetic · 2023
3
cited
egg: Fast and Extensible E-graphs
2020
2
cited
Sotabase
Oliver Flatt | Researcher Profile | Sotabase | Sotabase