Matt Bauer

Principal Researcher

My passion is in cultivating deep technological advances from the research realm into mature offerings that are broadly impactful in increasing the safety and reliability of software systems.


Dr. Bauer joined Galois in 2018 after receiving his PhD from the University of Illinois at Urbana-Champaign. His research interests lie in the application of formal methods and program analysis for raising assurance in cryptographic protocols, certification processes, enterprise networks and cyber-physical systems.