2017 HCSS Conference Program Committee | Science of Security Virtual Organization

High Confidence Software and Systems Conference

The twenty-fifth annual High Confidence Software and Systems (HCSS) Conference, renowned for bringing together a world-class community of researchers, will take place during the week of May 12th, 2025 in Annapolis, Maryland. This annual event is structured to explore and promote new scientific and technological foundations essential for the development of next-generation engineered designs, crucial for the effective operation of life-, safety-, security-, and mission-critical systems.

2017 HCSS Conference Program Committee

Program Co-chairs

Eric Smith, Kestrel Institute

Matt Wilding, Collins Aerospace

Steering Committee

Perry Alexander, University of Kansas

Kathleen Fisher, Tufts University

John Hatcliff, Kansas State University

Nicole Hughes, NSA

John Launchbury, Galois, Inc.

Stephen Magill, Galois, Inc.

Brad Martin, National Security Agency

Ray Richards, DARPA

Bill Scherlis, Carnegie Mellon University

Meeting Organizers

Katie Dey, Vanderbilt University

Anne Dyson, Cyber Pack Ventures

.

Sponsor Agency

NITRD HCSS Coordinating Group .