2015 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

2015 HCSS Conference Program Committee

Program Co-chairs

Kathleen Fisher, Tufts University

John Hatcliff, Kansas State University

Steering Committee

Byron Cook, Microsoft Research

John Launchbury, DARPA

Brad Martin, National Security Agency

Stephen Magill, Galois, Inc.

Bill Scherlis, Carnegie Mellon University

Tim Thimmesch, NSA

Meeting Organizer

Katie Dey, Vanderbilt University

.

Sponsor Agency

NITRD HCSS Coordinating Group .