PROGRAM CO-CHAIRS

MIKE DODDS is the founder of Oath Technologies (https://oath.tech), a non-profit Focused Research Organization working on scaling oversight of advanced AIs. Previously he was a Principal Scientist at Galois, Inc., where he worked on industrial applications of formal verification. His work has included formal methods projects for AWS, Apple, Facebook / Meta, DARPA, NASA, UK ARIA, and others.

GRANT PASSMORE is cofounder of Imandra Inc where he leads the design and development of the Imandra automated reasoning system. He is a widely published researcher in formal verification and symbolic AI whose contributions include advances in SMT solving (Z3), nonlinear proof procedures (MetiTarski, Imandra and Z3), and computational logic (Imandra). He earned his PhD on decision procedures for nonlinear arithmetic from the University of Edinburgh, is a graduate of UT Austin (BA in Mathematics) and the Mathematical Research Institute in the Netherlands (Master Class in Mathematical Logic), and is a Life Member of Clare Hall, University of Cambridge.
PROGRAM COMMITTEE
- Perry Alexander, The University of Kansas
- June Andronick, Proofcraft
- Darren Cofer, Collins Aerospace
- Kathleen Fisher, ARIA
- Shelly Freitas, NSA
- John Hatcliff, Kansas State University
- John Launchbury, Galois, Inc.
- Patrick Lincoln, DARPA
- Stephen Magill, Amazon
- Brad Martin, Galois, Inc.
- Lee Pike, Logothetica
- Ray Richards, RTX BBN Technologies
- William Scherlis, Carnegie Mellon University
- Eric W. Smith, Kestrel Institute
- Adam W, National Cyber Security Centre
- Sean Weaver, DARPA
- Matt Wilding, DARPA
- Kristin Yvonne Rozier, Iowa State University
ORGANIZATION
Katie Dey, Vanderbilt University