MATT WILDING is an Associate Director at Collins Aerospace. Dr.  Wilding  received  a  PhD  in  Computer  Sciences  from  The University of Texas at Austin and joined Collins Aerospace in 1996. He has worked on many high confidence efforts, such as the  machine-checked  formal  methods  analysis  of  the AAMP7 microprocessor critical to several Collins information assurance products. Dr. Wilding led the digital vision systems research group from 2011-2016, which developed the Integrated Digital Vision System (IDVS) to enhance soldier situational awareness. He currently manages the Trusted Systems research group, which collaborates with corporate product areas and government research sponsors to develop and apply automated verification methods for complex embedded systems.

PERRY ALEXANDER is the AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Information and Telecommunication Technology Center at the University of Kansas. His teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. His research interests include formal methods, system-level design, trusted computing, design and specification language semantics, and component retrieval. 

KATHLEEN FISHER, Tufts University 
JOHN HATCLIFF, Kansas State University 
NICOLE HUGHES, National Security Agency 
STEPHEN MAGILL, Galois, Inc.

JOHN LAUNCHBURY, Galois, Inc. 
BRAD MARTIN, National Security Agency 
RAY RICHARDS, DARPA 
BILL SCHERLIS, Carnegie Mellon University