2017 HCSS Conference Program Committee | Science of Security Virtual Organization

High Confidence Software and Systems Conference

A world class community of researchers gather each year for a full week of High Confidence Software and Systems Conference activities that are structured to focus on new scientific and technological foundations that can enable entirely new generations of engineered designs that are becoming essential for effectively operating life–, safety–, security–, and mission–critical systems. The twenty-fourth annual High Confidence Software and Systems (HCSS) Conference will be held May 6-8, 2024.

Registration

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 .