Program committee



Name Affiliation
Alok Srivastava ACM SIGAda & SAIC Inc.
Benjamin Brosgol AdaCore
S. Tucker Taft chair AdaCore
Richard Wai chair ANNEXI-STRAYLINE
Sara Royuela Barcelona Supercomputing Center
James Munns Ferrous Systems GmbH
Clyde Roby Institute for Defense Analyses
Michael Klemm Intel
Luis Miguel Pinho ISEP P.PORTO
Robert Bocchino Jet Propulsion Laboratory, Caltech
Tao B. Schardl MIT CSAIL
Bill Bail MITRE
Drew Hamilton MS State/CCI
Joyce Tokar Raytheon Technologies
John Kassie Rockwell Collins
Ina Schaefer Technische Universität Braunschweig
Nikolai Kosmatov Thales & CEA, List, Palaiseau, France
Kyle Chard University of Chicago
Jan Verschelde University of Illinois at Chicago