Program Participants

Members

Term I

  • Bruno Barras
  • Andrej Bauer
  • Hugo Herbelin
  • Assia Mahboubi
  • Per Martin-Lof
  • Matthieu Sozeau

Term II

  • Thorsten Altenkirch
  • Yves Bertot
  • Marc Bezem
  • Andre Joyal
  • Sergey Melikhov
  • Benno Van den Berg
  • Alvaro Pelayo
  • Andrew Polonsky
  • Bas Spitters

Full Year

  • Peter Aczel
  • Benedikt Ahrens
  • Steve Awodey
  • Thierry Coquand
  • Eric Finster
  • Dan Grayson
  • Dan Licata
  • Peter Lumsdaine
  • Michael Shulman
  • Michael Warren
  • Noam Zeilberger

Graduate Students

  • Carlo Angiuli (term ..)
  • Guillaume Brunerie (both terms)
  • Anthony Bordg
  • Chris Kapulkin (both terms)
  • Egbert Rijke (term II)
  • Kristina Sojakova (term ..)

Short term visitors

  • Jeremy Avigad
  • Olivia Caramello
  • Cyril Cohen
  • Pierre-Louis Curien
  • Peter Dybjer
  • Martin Escardo
  • Marcelo Fiore
  • Nicola Gambino
  • Georges Gonthier
  • Thomas Hales
  • Robert Harper
  • Martin Hofmann
  • Martin Hyland
  • Joachim Kock
  • Gyesik Lee
  • Zhaohui Luo
  • Leke Moerdijk
  • Keiko Nakata
  • Erik Palmgren
  • Nikolaj Poliakov
  • Randy Pollack
  • Denis Saveliev
  • Dana Scott
  • Sergei Soloviev
  • Thomas Streicher
  • Sebastien Zany