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. Peter Sewell, Cambridge University, United Kingdom
  13. Natarajan Shankar, SRI International, United States
  14. Carlos Simpson, Université de Nice, France
  15. Freek Wiedijk, Radboud University, Netherlands