People and visitors

Faculty Staff

PURE error
The PURE server is currently down.

PostDocs

PURE error
The PURE server is currently down.

PhD Students

PURE error
The PURE server is currently down.

Administration

PURE error
The PURE server is currently down.

List of visitors

2017

  • Andrew Pitts, visiting on sabbatical grant. Oct 4 - Dec 8
  • Dan Frumin. Sep 11 - Nov 10
  • Alex Kavvros, Oxford, Aug 28-31
  • Robbert Krebbers, Delft University of Technology, Aug 21-25
  • Amin Timany, visiting PhD student from KU Leuven. Aug 13 - Nov 11
  • Yisu Remy Wang. Jun 30 - Aug 31
  • Jeremy Thibault, Intern. Jun 1 - Aug 18
  • Daniel Gratzer, Carnegie Mellon, USA visiting on screening grant from GSST. Jun 1 - Aug 29
  • Kartik Singhal, Brown University, USA. March 27-28
  • Ralf Jung, MPI-SWS, Saarbrücken, Germany. April 18-21  
  • Cao Qinxiang, Princeton University, USA. April 18-21  
  • Daniel Huang, Harvard University, USA, Mar 6-10
  • Jesper Bengtson, IT University of Copenhagen, Denmark. Feb 20-22  
  • Dexter Kozen, Cornell University, USA. Jan 11
  • Kasper Svendsen, University of Cambridge. Jan 5-6

2016

  • Brigitte Pientka, McGill University, Montreal, Canada, Dec 5-6, 2016
  • Peter Dybjer, Chalmers University of Technology, Sweden Dec5-6, 2016
  • Gilles Barthe, Madrid, Nov 22-25, 2016   
  • Radu Mardare, Aalborg University, Denmark, Nov 21 2016   
  • Chuangjie Xu, Munich, Germany, Oct 31 - Nov 1, 2016   
  • Alex Summers, ETH Zurich, Oct 26-28, 2016
  • Robbert Krebbers, October 24-29, 2016
  • Chuangjie Xu, Munich, Germany, Oct 31 - Nov 4, 2016
  • Patrick Bahr, Rasmus Møgelberg, and Christian Graulund, ITU, Copenhagen, Sep 27-28, 2016
  • Deepak Garg from MPI-SWS, Saarbrücken, Germany, Sep 26-28, 2016
  • Léo Stefanesco, Intern, France, Sep 6 - Dec 20, 2016
  • Amin Timany, KU Leuven, Belgium, Aug 20 - Nov 18, 2016
  • Florian Faissole, Intern from Ensiie. Aug 1 - Sep 31, 2016
  • Ralf Jung, MPI-SWS, Saarbrücken, Germany, Jul 13-20, 2016
  • Andrea Vezzosi, Chalmers, Sweden, Jul 13-15, 2016
  • Amin Timany, KU Leuven, Belgium, Jun 13-15, 2016
  • Gaetan Gilbert, Intern from ENS Lyon. May 16 - Aug 27, 2016
  • Ilya Sergey University College London, UK. Jun 1-3, 2016
  • Valeria Vignudelli University of Bologna, Italy. May 10 - 12, 2016
  • Guillaume Combette, Intern from ENS Lyon. May 9 - Aug 1, 2016
  • Ohad Kammar University of Cambridge, Mar 21 - Mar 23, 2016
  • Julian Sutherland Imperial College London, UK, Mar 15 - Mar 18, 2016
  • Amin Timany, KU Leuven, Belgium, Feb 8-12, 2016
  • Egbert Rijke, CMU, Jan 31 - Feb 9, 2016

2015

2014

2013