Aarhus University Seal / Aarhus Universitets segl

People and visitors

Research Assistants

Rasmus Holdsbjerg-Larsen

Research Assistant Department of Computer Science

Mikkel Milo

Research Assistant Department of Computer Science

List of visitors

2020

  • Christian Uldal Graulund, IT University, Denmark, September 14
  • Thomas van Strydonck, KU Leuven, Feb.1 - Jun. 1

2019

  • Karl Palmskorg, KTH Royal Institute of Technology, Dec. 9-10
  • Dominique Devriese, KU Leuwen, Nov. 26-28
  • Steven Keuchel, KU Leuwen, Nov. 26-28
  • Thomas Ven Strydonck, KU Leuwen, November 25-29
  • Deepak Garg, MPI-SWS, Nov. 14-15
  • Peter Sewell, University of Cambridge, Nov. 14-15
  • Marieke Huisman, University of Twente, Nov. 12-14
  • Bart Jacobs, KU Leuwen, Nov. 12-14
  • Matthieu Sozeau, Inria Paris, Nov. 4-7
  • Abel Nieto, University of Waterloo. Oct. 27-30
  • Simon Wimmer, TU Munich, Oct. 21-25
  • David Naumann, Steven Institute of Technology, Oct. 19-23
  • Paige R. North, Ohio State University. Oct. 5-11
  • Benedikt Ahrens, University of Birmingham. October 5-11
  • Mario Alvarez-Picallo, University of Oxford, Sept. 30 - Oct. 3
  • Andreas Nuyts, KU Leuven. September 18-23
  • Kenji Maillard, École normale supériure de Paris. August 26-30
  • Léo Stefanesco, France. August 25-September 5
  • Jens Palsberg, UCLA, August 13-16
  • Amin Timany KU Leuven. August-September
  • Andre Platzer, Carnegie Mellon University. 19-20 June
  • Carlo Angiuli, Carnegie Mellon University. June 15-24
  • Jon Stirling, Carnegie Mellon University.  June 15-24
  • Jakob von Raumer, University of Nottingham. June 3-6
  • Philipp Haselwarter, University of Ljubljan. April 14-18
  • Anders Schlichtkrull, DT. March 7
  • Laure Petrucci, Université Paris 13. Feb. 20 - Mar. 14
  • Elisavet Kozyri, Cornell. Feb. 14-15
  • Pierre-Yves Strub École Polytechnique, France. Feb. 11-13

2018

  • Ilya Sergei, Yale-NUS College . Dec. 11-13
  • Amin Timany KU Leuven.  Nov. 19-23
  • Paolo G. Giarrusso EPFL, Switzerland. Oct. 30-Nov. 2
  • Amin Timany KU Leuven.  Oct. 30-Nov. 2
  • Leo Stefanesco, France. Oct. 29-Nov. 2
  • Alix Trieu,Université de Rennes. Oct. 22
  • Robbert Krebbers, Delft University of Technology. Oct. 8-10
  • Jonas Kastberg. Oct. 8-10
  • Giorgio Bacci and Radu Mardare, Aalborg University. Sep. 4
  • Danil Annenkov, INRIA Nantes, France. Aug. 27-31
  • Dan Frumin, Nijmegen, The Netherlands. Aug. 1-15
  • Craig Mclaughlin, Edinburg, Scotland. Jun. 18-21
  • Filip Sieczkowsi, Wroclaw, Poland. Jun. 18-21
  • Jon Sterling, CMU, USA. Jun 5 - Aug. 30
  • Leo Stefanesco, France. Apr. 23 - Jul. 30
  • Ulrik Buchholtz, Darmstadt, Germany. May 16-18
  • Ian Orton, PhD student from Cambridge, UK. Apr. 30 - May 1
  • Guillaume Brunerie, IAS Princeton, USA. Apr. 16-20
  • Jan Hoffmann, CMU, USA. Apr. 18-19
  • Dan Frumin, Nijmegen, The Netherlands. Apr. 9-13
  • Amin Timany, KU Leuven, Belgium.  Apr. 9-13
  • Jesper Bengtson and Jonas Kastberg Hinrichsen , IT University, Copenhagen. Mar. 1-2

2017

  • Andrew Pitts, visiting on sabbatical grant. Oct 4 - Dec 8
  • Dan Frumin. Sep 11 - Nov 10
  • Alex Kavvos, 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

  • Bas Spitters from Chalmers, Sweden, Nov 24 - Nov 28, 2014
  • Robbert Krebbers from Radboud University Nijmegen, Nov 17 - Nov 19, 2014
  • Rasmus Moegelberg from IT University of Copenhagen, Oct 06 - Oct 07, 2014
  • Hannes Mehnert from University of Cambridge, Sep 11, 2014
  • Stephan Millius, FAU Erlangen-Nürnberg, Germany, August 25-29 2014
  • Tadeusz Litak, FAU Erlangen-Nürnberg, Germany, August 25-29 2014
  • Master student Yannick Zakowski, ENS Rennes, France, September 1, 2013 - June 31, 2014
  • Matteo Sammartino, University of Pisa, April 28-30 2014
  • Derek Dreyer, MPI, Saarbruecken, Germany, April 30 - May 2, 2014
  • Xavier Rival, ENS Rennes, France, June 11-13 June 2014
  • Prof. Jakob Rehof, TU Dortmund, Germany, March 31 2014
  • Rasmus Moegelberg, IT Univ. of Copenhagen, March 31 - April 1 2014
  • Gregory Malecha, Harvard University, Cambridge, UK, March 21 2014
  • Soren Lassen, Facebook, 18 March 2014
  • Jean Pichon, Computer Laboratory of the University of Cambridge, March 17-21 2014

2013