Background
Bretton came across Haskell when he was 13 and has been interested in programming language design and implementation ever since. He received a BS in Computer Science from UCLA, where he worked on probabilistic programming and lemma synthesis for interactive theorem proving. He joined Galois in 2023 after an internship in 2022, and is currently working on formal verification tools.