Committees

Program Chairs

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

Program Committee

  • Axel Legay, UCLouvain
  • Doron Peled, Bar Ilan University
  • Alex Groce, Northern Arizona Univeristy
  • A. Prasad Sistla, University of Illinois at Chicago
  • Allison Sullivan, The University of Texas at Austin
  • Eunsuk Kang, Carnegie Mellon University
  • Alice Miller, University of Glasgow
  • Stefan Leue, University of Konstanz, Department of Computer and Information Science
  • Alberto Lluch Lafuente, Technical University of Denmark
  • Gerard Holzmann, Nimble Research
  • Cristina Seceleanu, M√§lardalen University
  • Corina Pasareanu, CMU/NASA Ames Research Center
  • Jaco van de Pol, Aarhus University
  • Kyungmin Bae, Pohang University of Science and Technology (POSTECH)
  • Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara
  • Neeraj Suri, Lancaster University
  • Andreas Stahlbauer, University of Passau, Chair of Software Engineering II
  • Dragan Bosnacki, Eindhoven University of Technology
  • Sandeep Kulkarni, Michigan State University
  • Scott Smolka, Stony Brook Universtiy
  • Kuen-Bang Hou Favonia, University of Minnesota

Steering Committee

  • Dragan Bosnacki, Eindhoven University of Technology (chair)
  • Susanne Graf, Verimag
  • Gerard Holzmann, Nimble Research
  • Stefan Leue, University of Konstanz
  • Jaco van der Pol, Aarhus University
  • Neha Rungta, Amazon Web Services
  • Willem Visser, Stellenbosch University