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.
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.