Bretton Chen

Research Engineer

I’m interested in functional programming, type systems, and mechanized proofs, as well as applying these tools to create software systems that are more correct and secure.


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.