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.
Mike Dodds
Principal Scientist
Background
Mike joined Galois in 2017. He is interested in the real-world applications of formal methods:
- ‘Formal methods’: Mike's work applies mathematical reasoning to ensure software is secure, correct, and bug-free. He's interested in solving problems in high-impact domains like cryptography, distributed systems, concurrency, and hardware semantics.
- ‘Real-world’: Interested in building tools that can be deployed in software engineering environments. This means building powerful, reliable, and understandable tools that complement existing engineering workflows.
Projects Mike is involved with:
- CN, a unified testing and verification tool for real C code.
- Daedalus, a safe parsing language we developed on the DARPA SafeDocs project. We used Daedalus to build a reference PDF parser for the PDF association.
- c2rust, a transpiler from C to Rust which is used for several popular Rust crates.
- Verified cryptography with our tools SAW and Cryptol. I’ve worked (amongst others) with AWS, including verifying core bits of the AWS-LibCrypto library.
Career history:
- 2004-2008: PhD student in the University of York, UK, working with Detlef Plump.
- 2008-2012: Postdoc in the Computer Laboratory, University of Cambridge, working with Matthew Parkinson and Peter Sewell.
- 2012-2017: Lecturer (approximately, an associate professor) at the University of York, UK.
- 2017-present: Principal Scientist at Galois, Inc.
