Brett Decker

Research & Engineering

I’m interested in anything related to PL, formal verification, security, crypto, and software engineering. Outside of work, I spend a little time on various hobbies: reading, writing, gardening, sports, piano, banjo, and LEGOs. I’m always up to learn something new.

Background

Brett joined Galois in 2023 as a Research Engineer. He has a B.S. in Computer Science from Brigham Young University and a M.S. in Computer Science from Brown University. Before Galois, Brett was an Assistant Teaching Professor at BYU where he taught beginning programming, discrete mathematics, testing & analysis & verification, and computer security. Prior to teaching, he worked at Sandia National Laboratories designing, developing, and verifying secure embedded systems.