Program Committee HILT

Tony Aiello

AdaCore

William Bail Program Co-Chair

The MITRE Corporation

United States

Ted Baker

Robert Bocchino

NASA/Caltech Jet Propulsion Laboratory

Ben Brosgol

AdaCore

Sagar Chaki

Mentor Graphics Corporation

United States

Peter Chapin

Vermont Technical College

United States

Rod Chapman

Protean Code

Stephen Chong

Harvard University

United States

Dirk Craeynest

KU Leuven

Belgium

Claire Dross

AdaCore

France

Peter Feiler

Carnegie Mellon Software Engineering Institute

United States

Drew Hamilton

Mississippi State University, CCI

Benjamin Hocking

Dependable Computing, LLC

United States

Jerome Hugues

ISAE

France

Brian Hulbert

Linquest

John Kassie

Rockwell Collins

Joe Kiniry

Galois, Inc.

Nikolai Kosmatov

CEA List

France

Nicholas Matsakis

Mozilla Corporation

United States

Arch McKinlay

USC; US Government

United States

Yannick Moy

AdaCore

France

Erhard Ploedereder

Universität Stuttgart

Clyde Roby

IDA

Alok Srivastava

SAIC

Tucker Taft Program Co-Chair

AdaCore

United States

Jim Thompson

US DoD

Joyce Tokar

Pyrrhusoft

Elaine Venson

USC

Lucas Wagner

Rockwell Collins

Michael Whalen

University of Minnesota

United States