Mike Gordon
Professor of Computer Assisted Reasoning, University of Cambridge, UK
Mike St John Green
Independent Cyber Security Consultant (former government cyber security adviser), UK
Joshua Guttman
The MITRE Corporation, USA
Daniel Kroening
Professor of Computer Science, University of Oxford, UK
Xavier Leroy
INRIA, France
Brad Martin
USA
Greg Morrisett
Professor of Computer Science, Harvard University, USA
Peter O’Hearn
Facebook London, UK
Fred Schneider
Professor of Computer Science, Cornell University, USA