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.

WORK AREAS

No areas found

Stay Connected

No items found.
No items found.
No items found.