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.
Jason Biatek
Research Engineer
Background
Jason's research interests include programming languages, safety-critical systems, and formal methods. He earned a BA in computer science from the University of Minnesota, Morris, and a MSc in computer science from the University of Minnesota Twin Cities. Prior to joining Galois in 2025, he had internships at Medtronic and NASA, and worked for Honeywell's aerospace research division as well as Itemis, Inc in the automotive cybersecurity domain.
In the copious amounts of free time he has after work and parenting duties, Jason enjoys tinkering with a home server, playing guitar and euphonium, walking, biking, the Washington football team, and meticulously cataloging a podcast prediction game in excessive detail.
