RV'21

Program Chairs

• Lu Feng, University of Virginia
• Dana Fisman, Ben Gurion University

Local Chair

• Jyo Deshmukh, University of Southern California

Web Chair

• Josephine Lamp, University of Virginia

PC Members

• Houssam Abbas, Oregon State University
• Wolfgang Ahrendt, Chalmers University of Technology
• Domenico Bianculli, SnT Centre - University of Luxembourg
• Borzoo Bonakdarpour, Michigan State University
• Radu Calinescu, University of York
• Chih-Hong Cheng, DENSO AUTOMOTIVE Deutschland GmbH
• Jyotirmoy Deshmukh, University of Southern California
• Georgios Fainekos, Arizona State University
• Yliès Falcone, University of Grenoble Alpes, CNRS
• Chuchu Fan, MIT
• Thomas Ferrère, Imagination Technologies
• Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
• Adrian Francalanza, University of Malta
• Sylvain Hallé, Université du Québec à Chicoutimi
• Klaus Havelund, Jet Propulsion Laboratory
• Bettina Könighofer, Technical University of Graz
• Morteza Lahijanian, University of Colorado, Boulder
• Axel Legay, UCLouvain
• Martin Leucker, University of Luebeck
• Chung-Wei Lin, National Taiwan University
• David Lo, Singapore Management University
• Leonardo Mariani, University of Milano Bicocca
• Nicolas Markey, IRISA, CNRS & INRIA & University of Rennes
• Laura Nenzi, University of Trieste
• Dejan Nickovic, Austrian Institute of Technology
• Gordon Pace, University of Malta
• Nicola Paoletti, University of London
• Dave Parker, University of Birmingham
• Doron Peled, Bar Ilan University
• Violet Ka Pun, Western Norway University of Applied Sciences
• Giles Reger, The University of Manchester
• Cesar Sanchez, IMDEA Software Institute
• Gerardo Schneider, Chalmers University of Gothenburg
• Julien Signoles, CEA LIST
• Oleg Sokolsky, University of Pennsylvania
• Stefano Tonetta, FBK-irst
• Hazem Torfah, University of California, Berkeley
• Dmitriy Traytel, University of Copenhagen

Steering Committee

• Howard Barringer, University of Manchester
• Ezio Bartocci, Technical University of Vienna
• Saddek Bensalem, Verimag and University Grenoble-Alpes
• Ylies Falcone, University of Grenoble Alpes/INRIA Grenoble
• Klaus Havelund, NASA’s Jet Propulsion Laboratory
• Insup Lee, University of Pennsylvania
• Martin Leucker, University of Lübeck
• Giles Reger, University of Manchester
• Grigore Rosu, University of Illinois, Urbana-Champaign
• Oleg Sokolsky, University of Pennsylvania

Best Paper Award Committee

• Martin Leucker, University of Lübeck
• Dave Parker, University of Birmingham
• Doron Peled, Bar Ilan University

Test of Time Award Internal Committee

• Georgios Fainekos, Arizona State University
• Lu Feng, University of Virginia
• Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
• Dana Fisman, Ben Gurion University
• Insup Lee, University of Pennsylvania

Test of Time Award External Committee

• Alan J. Hu, University of British Columbia
• Marta Kwiatkowska, University of Oxford
• Fabio Somenzi, University of Colorado Boulder