Editorial Team

Editorial Board

  1. Andrea Asperti, University of Bologna, Italy
  2. Jeremy Avigad, Carnegie Mellon University, United States
  3. Dr. Michael Beeson, San Jose State University, United States
  4. Thierry Coquand, Chalmers University, Sweden
  5. Herman Geuvers, Radboud University, Netherlands
  6. Georges Gonthier, Microsoft reasearch, United Kingdom
  7. John Harrison, Intel Corporation, United States
  8. Xavier Leroy, INRIA Paris, France
  9. Cesar Munoz, NASA LaRC, United States
  10. Adam Naumowicz, University of Bialystok, Poland
  11. Christine Paulin-Morhing, LRI - Équipe DÉMONS, France
  12. Claudio Sacerdoti Coen, University of Bologna, Italy
  13. Peter Sewell, Cambridge University, United Kingdom
  14. Natarajan Shankar, SRI International, United States
  15. Carlos Simpson, Université de Nice, France
  16. Freek Wiedijk, Radboud University, Netherlands