UF IAS 2012 Archive IAS program participants
Members:
(additional information can be found at www.math.ias.edu/people/members)
Term I
- Bruno Barras
- Andrej Bauer
- Hugo Herbelin
- Assia Mahboubi
- Per Martin-Löf
- Matthieu Sozeau
Term II
- Thorsten Altenkirch
- Yves Bertot
- Marc Bezem
- André Joyal
- Sergey Melikhov
- Alvaro Pelayo
- Andrew Polonsky
- Bas Spitters
- Benno van den Berg
Full Year
- Peter Aczel
- Benedikt Ahrens
- Steve Awodey
- Thierry Coquand
- Eric Finster
- Dan Grayson
- Dan Licata
- Peter LeFanu Lumsdaine
- Michael Shulman
- Michael Warren
- Noam Zeilberger
Graduate Students
- Carlo Angiuli (term II)
- Anthony Bordg (term II)
- Guillaume Brunerie (both terms)
- Chris Kapulkin (both terms)
- Egbert Rijke (term II)
- Kristina Sojakova (both terms)
Short term visitors
(additional information can be found at www.math.ias.edu/people/short-term-visitors)
- Jeremy Avigad
- Cyril Cohen
- Robert Constable
- Pierre-Louis Curien
- Peter Dybjer
- Martin Escardo
- Nicola Gambino
- Richard Garner
- Georges Gonthier
- Thomas Hales
- Robert Harper
- Martin Hofmann
- Pieter Hofstra
- Kuen-Bang Hou (Favonia)
- Joachim Kock
- Zhaohui Luo
- Erik Palmgren
- Dana Scott
- Philip Scott
- Sergei Soloviev
Revised on April 26, 2018 at 21:25:02
by
Richard Williamson