Research & Engineering
I am passionate about programming languages, software assurance,
computer security, and systems software engineering. When I’m not
working, I enjoy cooking, bicycling, and live music.
Brett received his BS in Computer Science from the University of Washington in 2015, and his SM in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology in 2018. At MIT Brett created Leto, an automatic verification system to allow developers to verify fault-tolerant properties of their applications. Prior to joining Galois, Brett worked as a research engineer at Aarno Labs focusing on computer security.
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.