Editorial Team

Editorial Board

Andrea Asperti, University of Bologna, Italy

Jeremy Avigad, Carnegie Mellon University, United States

Dr. Michael Beeson, San Jose State University, United States

Thierry Coquand, Chalmers University, Sweden

Herman Geuvers, Radboud University, Netherlands

Georges Gonthier, Microsoft reasearch, United Kingdom

John Harrison, Intel Corporation, United States

Xavier Leroy, INRIA Paris, France

Cesar Munoz, NASA LaRC, United States

Adam Naumowicz, University of Bialystok, Poland

Christine Paulin-Morhing, LRI - Équipe DÉMONS, France

Claudio Sacerdoti Coen, University of Bologna, Italy

Peter Sewell, Cambridge University, United Kingdom

Natarajan Shankar, SRI International, United States

Carlos Simpson, Université de Nice, France

Freek Wiedijk, Radboud University, Netherlands