Editors

Editor-in-Chief:

Nir Piterman
University of Gothenburg
Department of Computer Science and Engineering 
 

Editor-in-Chief Emeritus:

Daniel Kroening
University of Oxford

Edmund M. Clarke, Jr.
Carnegie Mellon University

Editorial Board:

Erika Abraham, RWTH Aachen; Armin Biere, Johannes Kepler University; Luc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu Taiwan; Masahiro Fujita, Tokyo University; Ganesh L. Gopalakrishnan, University of Utah; Orna Grumberg, The Technion; Aarti Gupta, Princeton University; Nicolas Halbwachs, VERIMAG/CNRS, Grenoble; Warren A. Hunt Jr., The University of Texas, Austin; Nils Klarlund, Google Inc., New York;  Laura Kovacs, Technical University of Vienna; Marta Kwiatkowska, University of Oxford; Kim Larsen, Aalborg University;  Sharad Malik, Princeton University; Tom F. Melham, University of Oxford; Aloysius K. Mok, University of Texas, Austin; Chris Myers, University of Utah; Kedar S. Namjoshi, Bell Labs; Dejan Nickovic, Austrian Institute of Technology;  Andrei Paskevich, Paris-Sud University; Andreas Podelski, University of Freiburg; Francesco Ranzato, University of Padova; A. Prasad Sistla, University of Illinois, Chicago; Scott A. Smolka, SUNY at Stony Brook; Fabio Somenzi, University of Colorado, Boulder; Georg Weissenbacher, Technical University of Vienna; Sergio Yovine, VERIMAG/Centre National de la Recherche Scientifique