Committees

Program Chairs

  • Owolabi Legunsen, Cornell University
  • Grigore Rosu, University of Illinois at Urbana-Champaign

Program Committee

  • Axel Legay, UCLouvain
  • Cristina Seceleanu, Mälardalen University
  • Doron Peled, Bar Ilan University
  • Jaco van de Pol, Aarhus University
  • Kyungmin Bae, Pohang University of Science and Technology
  • Stefan Leue, University of Konstanz
  • Neeraj Suri, Lancaster University
  • Georgiana Caltais, University of Konstanz
  • Madalina Erascu, West University of Timisoara
  • Richard Defrancisco, Augusta University
  • Christian Schilling, Aalborg University
  • Gerard Holzmann, Nimble Research
  • Corina Pasareanu, CMU, NASA, KBR
  • Sandeep Kulkarni, Michigan State University
  • Klaus Havelund, Jet Propulsion Laboratory
  • Alberto Lluch Lafuente, Technical University of Denmark
  • Andrei Stefanescu, University of Illinois at Urbana-Champaign
  • Allison Sullivan, The University of Texas at Arlington
  • Kuen-Bang Hou Favonia, University of Minnesota
  • Dragan Bosnacki, Eindhoven University of Technology
  • Liyi Li, University of Maryland

Steering Committee

  • Dragan Bosnacki (chair)
  • Susanne Graf
  • Gerard Holzmann
  • Stefan Leue
  • Jaco van der Pol
  • Neha Rungta
  • Willem Visser