Editors

Editor-in-Chief:

Daniel Kroening
University of Oxford

Editor-in-Chief Emeritus:

Edmund M. Clarke, Jr.
Carnegie Mellon University

Editorial Board:

Rajeev Alur, University of Pennsylvania; Armin Biere, Johannes Kepler University; Gerard Berry, Esterel Technologies; Ahmed Bouajjani, Université de Paris, Diderot; Robert K. Brayton, University of California, Berkeley; Randal E. Bryant, Carnegie Mellon University; Tim Cheng, University of California, Santa Barbara; Luc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu Taiwan; W. Rance Cleaveland II, University of Maryland; Werner Damm, University of Oldenburg; E. Allen Emerson, University of Texas; Masahiro Fujita, Tokyo University; Steven German, IBM, T.J. Watson Research Center; 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; Orna Kupferman, Hebrew University; Marta Kwiatkowska, University of Oxford; Kim Larsen, Aalborg University; Insup Lee, University of Pennsylvania; Sharad Malik, Princeton University; Tom F. Melham, University of Oxford; Aloysius K. Mok, University of Texas, Austin; J. Strother Moore, University of Texas, Austin; Chris Myers, University of Utah; Kedar S. Namjoshi, Bell Labs; Andreas Podelski, University of Freiburg; A. Prasad Sistla, University of Illinois, Chicago; Scott A. Smolka, SUNY at Stony Brook; Fabio Somenzi, University of Colorado, Boulder; Colin Stirling, University of Edinburgh; Farn Wang, National Taiwan University; Thomas Wilke, Christian-Albrechts-Universität zu Kiel; Jeannette Wing, Columbia University; Pierre Wolper, Université de Liège; Sergio Yovine, VERIMAG/Centre National de la Recherche Scientifique