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.
Michal Podhradsky
Research Engineer
Background
Michal joined Galois in 2016 as a Research Engineer. His research focuses on applying formal methods and AI driven workflows to real-world systems and devices, bridging the gap between formal abstractions and the complexities of physical systems. Michal is also passionate about making formal methods tools accessible to a broad range of users, and enabling the development of cyber-physical systems that are secure by design.
Previously he worked on the High Assurance Cyber Military Systems (HACMS) program, developing secure-by-construction UAVs; the System Security Integration Through Hardware and Firmware (SSITH) program, where he developed the BESSPIN automotive demonstrator showcasing DARPA SSITH secure-hardware technologies to a broad audience at the National Cryptologic Museum; and the BESSPIN Voting System Demonstrator, a secure ballot box incorporating DARPA SSITH technologies, which was presented publicly at DEF CON 2019.
Michal received his PhD. in Electrical Engineering from Portland State University, an MSc. in Electrical Engineering from the Czech Technical University, and an MSc. in Space Science from Lulea Technical University. During his studies, he built an electric race car and raced it on a track.
Prior joining Galois, he worked at Utah State University building drones and developing flight control software and hardware for precision agriculture applications.
