Skip to main content
Log in

Editors

 

Editor-in-Chief:

Nir Piterman
University of Gothenburg
Department of Computer Science and Engineering 
Germany
 

Editor-in-Chief Emeritus:

Daniel Kroening
University of Oxford
UK

Edmund M. Clarke, Jr.
Carnegie Mellon University
USA

 

Editorial Board:

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

Navigation