Skip to main content
Log in

Editors

Editor-in-Chief
Jasmin Blanchette, Ludwig-Maximilians-Universität München, Germany

Editorial Board
Jeremy Avigad, Carnegie Mellon University, United States of America
Franz Baader, Technical University Dresden, Germany
Gilles Barthe, Max Planck Institute for Security and Privacy, Germany
David Basin, ETH Zurich, Switzerland
Thomas Eiter, Technical University of Vienna, Austria
Amy Felty, University of Ottawa, Canada
Silvio Ghilardi, Università degli Studi di Milano, Italy
Reiner Hähnle, Technical University Darmstadt, Germany
John Harrison, Amazon, United States of America
Matti Järvisalo, University of Helsinki, Finland
Cezary Kaliszyk, University of Innsbruck, Austria
Deepak Kapur, University of New Mexico, United States of America
Xavier Leroy, Inria Paris-Rocquencourt, France
Assia Mahboubi, Inria, LS2N, Université de Nantes, France
Aart Middeldorp, University of Innsbruck, Austria
Dale Miller, Inria Saclay-Île-de-France, France
Peter Müller, ETH Zurich, Switzerland
Cesar A. Munoz, NASA, Hampton, United States of America
Tobias Nipkow, Technical University Munich, Germany
Michael Norrish, The Australian National University, Australia
Lawrence C. Paulson, University of Cambridge, United Kingdom
Ruzica Piskac, Yale University, United States of America
André Platzer, Karlsruhe Institute of Technology, Germany, and Carnegie Mellon University, United States of America
Andreas Podelski, University of Freiburg, Germany
Ulrike Sattler, University of Manchester, United Kingdom
Renate A. Schmidt, University of Manchester, United Kingdom
Martina Seidl, Johannes Kepler University, Austria
Nikhil Swamy, Microsoft Research, Redmond, United States of America
Cesare Tinelli, University of Iowa, United States of America
Christoph Weidenbach, Max-Planck-Institute for Informatics, Germany
Hongseok Yang, KAIST, Daejeon, Korea (South)
Naijun Zhan, Chinese Academy of Sciences, China

Founding Editor
Larry Wos, Argonne National Laboratory, United States of America (deceased 2020)
 
 

Navigation