Steering Committee

Houssam Abbas	Oregon State University
Erika Abraham	RWTH Aachen University
Ezio Bartocci	Technical University of Vienna
Ylies Falcone	University of Grenoble Alpes/INRIA Grenoble
Klaus Havelund	NASA’s Jet Propulsion Laboratory
Martin Leucker	University of Lubeck
Oleg Sokolsky (chair)	University of Pennsylvania

Former Steering Committee Members

• Howard Barringer
• Saddek Bensalem (former co-chair)
• Insup Lee
• Giles Reger
• Grigore Roșu (co-founder of RV)