GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Bretton Chen
Research Engineer
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 interned at Galois in 2022 and joined full-time in 2023. He then spent some time at Galois spinout ExistX in 2024, and rejoined Galois in 2025.
Bretton is 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.
