Mike Dodds

Research Lead

I’m fascinated by the ways that logic can be used to verify complex computer systems. Most of my work has focused on concurrency, where multiple interacting threads can generate an explosion of complexity. Logic provides a powerful tool for mastering this complexity, making it feasible to build safe, high-performance concurrent systems.

Background

Mike joined Galois in 2017. He was previously a lecturer at the University of York, in the United Kingdom. Mike’s research has covered a broad range of topics related to logic and verification. He is principally known for designing new logics aimed at concurrency verification. He has also developed automated checking tools, semantic models for concurrency, and high-performance concurrent algorithms.

Mike earned his PhD in Computer Science, and his masters degree in Software Engineering from the University of York. He is a Industry Fellow of the Royal Society, reflecting joint work with Microsoft Research.