Forthcoming
Mike Dodds (Galois)
Distinguished Lecture Series
Thursday, April 16, 2026, 3:30 pm
Gates Center (CSE2), G20 | Amazon Auditorium
Abstract
Abstract is forthcoming.
Bio
Mike Dodds joined Galois in 2017 as a Principal Scientist. He specializes in applying formal methods to systems engineering problems in areas such as cryptography, distributed protocols, cyber-physical systems, and hardware semantics. Much of Mike’s work has focused on building tools that can be used by non-expert developers as part of their regular engineering workflow.
Mike has led a range of projects at Galois, including our work on CN, a unified testing and verification tool for C code; Daedalus, a safe parsing language developed under the DARPA SafeDocs project; c2rust, a transpiler used by several popular Rust crates; and several verified cryptography projects using SAW and Cryptol, including a long-running collaboration with Amazon Web Services on core components of their AWS-LibCrypto library.
Mike received his PhD from the University of York, UK, in 2008, under the supervision of Dr. Detlef Plump. He then spent four years as a postdoctoral researcher at the University of Cambridge, working with Dr. Matthew Parkinson and Prof. Peter Sewell. He returned to the University of York as a lecturer (in US terms, an associate professor) from 2012 to 2017, before joining Galois.
This lecture will be recorded and streamed live on the Allen School's YouTube channel (https://www.youtube.com/@uwcse), unless otherwise noted. The link will be available on that page one hour prior to the event.
The University of Washington is committed to providing access, equal opportunity and reasonable accommodation in its services, programs, activities, education and employment for individuals with disabilities. Live captioning will be provided for this event. To request disability accommodation such as ASL interpretation, contact the Disability Services Office at least ten days in advance of the event at: (206) 543-6450/V, (206) 543-6452/TTY, (206) 685-7264 (FAX), or email at dso@u.washington.edu.