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.