Mike Dodds

I’m the founder of Oath Technologies, a Focused Research Organization working on AI oversight via formal methods. Before Oath, I was a Principal Scientist at Galois, Inc, a research consultancy specializing in formal methods, programming languages, and systems assurance.

I’m interested in the real-world applications of formal methods:

• ‘Formal methods’: My work applies mathematical reasoning to ensure software is secure, correct, and bug-free. I’m interested in solving problems in high-impact domains like cryptography, distributed systems, concurrency, and hardware semantics.
• ‘Real-world’: I’m 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.

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-2026: Principal Scientist at Galois, Inc.
• 2026-present: Founder of Oath Technologies.