Program committee



Name Affiliation
Yannick Moy AdaCore
Tony Aiello AdaCore
Ted Baker None
Stephen Chong Harvard University
Sagar Chaki Mentor Graphics
S. Tucker Taft chair AdaCore
Rod Chapman Protean Code Limited
Robert L. Bocchino Jr. Jet Propulsion Laboratory
Peter Feiler SEI
Peter Chapin VTC
Nikolai Kosmatov CEA List
Nicholas Matsakis Mozilla Research
Michael Whalen UMN
Lucas Wagner Rockwell Collins
Joyce Tokar Pyrrhus Software
Joseph Kiniry Galois
John Kassie Rockwell Collins
Jim Thompson US DoD
Jérôme Hugues ISAE
Erhard Ploedereder University of Stuttgart
Elaine Venson University of Southern California
Drew Hamilton MS State/CCI
Dirk Craeynest Ada-Europe
Clyde Roby Institute for Defense Analyses
Claire Dross AdaCore
Brian Hulbert LinQuest Corporation
Bill Bail chair MITRE
Benjamin Brosgol AdaCore
Ben Hocking Dependable Computing
Arch McKinlay USC
Alok Srivastava ACM SIGAda & Engility Corp.