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
