Conference Organization

Program Co-chairs

• John Launchbury, Galois, Inc.
• Ray Richards, Rockwell Collins

Steering Committee

• Kathleen Fisher, DARPA
• Helen Gill, National Science Foundation
• Brad Martin, National Security Agency
• Bill Scherlis, Carnegie Mellon University
• Frank Seaton Taylor, National Security Agency
• Tim Thimmesch, National Security Agency

Organizers

• Katie Dey, Vanderbilt University
• Anne Dyson, Vanderbilt University
• Frankie King, Vanderbilt University

Sponsor

• NITRD HCSS Coordinating Group Member Agencies