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 AbrahamRWTH AachenArmin Biere, Johannes Kepler UniversityLuc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu TaiwanMasahiro 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 YorkLaura Kovacs, Technical University of ViennaMarta 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 NickovicAustrian Institute of Technology;  Andrei PaskevichParis-Sud UniversityAndreas Podelski, University of FreiburgFrancesco RanzatoUniversity of PadovaA. Prasad Sistla, University of Illinois, Chicago; Scott A. Smolka, SUNY at Stony Brook; Fabio Somenzi, University of Colorado, Boulder; Georg WeissenbacherTechnical University of ViennaSergio Yovine, VERIMAG/Centre National de la Recherche Scientifique