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