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

(additional visit information can be found at www.math.ias.edu/people/stv )

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