Some of the current researchers in Homotopy Type Theory include (non-exhaustively):
- Peter Aczel, University of Manchester
- Thorsten Altenkirch, University of Nottingham
- Steve Awodey, Carnegie Mellon University, Pittsburgh
- Andrej Bauer, University of Ljubljana
- Thierry Coquand, University of Gothenburg
- Richard Garner, Macquarie University, Sydney
- Nicola Gambino, University of Palermo
- Robert Harper, Carnegie Mellon University, Pittsburgh
- Martin Hyland, University of Cambridge
- Chris Kapulkin, University of Pittsburgh
- Dan Licata, Carnegie Mellon University, Pittsburgh
- Peter LeFanu Lumsdaine, Dalhousie University, Halifax
- Ieke Moerdijk, Nijmegen University
- Mike Shulman, University of California, San Diego
- Bas Spitters, Nijmegen University
- Thomas Streicher, Technical University, Darmstadt
- Benno van den Berg, University of Utrecht, Utrecht
- Jaap van Oosten, University of Utrecht, Utrecht
- Erik Palmgren, Uppsala University, Uppsala
- Vladimir Voevodsky, Institute for Advanced Study, Princeton
- Michael Warren, Institute for Advanced Study, Princeton
If you would like to be listed on this page, just post a reply below.
