Brett Boston

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.