STEPHEN MAGILL is a Principal Scientist of Software Analysis at Galois. Inc. His research interests focus on static and dynamic program analysis, with a particular emphasis on scalability and tuning analyses for specific software domains. His recent work focuses on security, both software security in the traditional sense and related issues such as privacy. He has also worked on analyses that help programmers build and deploy software updates in high-availability environments. Prior to joining Galois in 2014, Stephen was a Research Scientist at the Institute for Defense Analyses Center for Computing Sciences (IDA/CCS). Before that, he was a post-doctoral researcher with Michael Hicks at the University of Maryland, College Park, where his work primarily focused on two topics: 1) verifying correctness of software updates, and 2) enforcing privacy by reasoning statically about accumulated attacker knowledge. Stephen earned his Ph.D. in Computer Science from Carnegie Mellon University under the guidance of Peter Lee, Stephen Brookes, and John Reynolds.

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, NSA

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