Aarhus University Seal / Aarhus Universitets segl

People and visitors

Research Assistants

Lasse Letager Hansen

Department of Computer Science

Student Programmers

Kasper Schouborg Nielsen

Department of Computer Science

Administration

Henriette Gammelgaard Farup

Research Group Coordinator (Maternity leave)

Signe Jensen

Research Group Coordinator (Maternity cover)

List of visitors

2021

  • Alban Reynaud, l’Ecole Normale Supérieure de Lyon, Aug. 30 - Jan. 21
  • Matthew Lutze, Université de Paris, July 15 - Sept 15
  • Maxime Legoupol, Ecole Normale Superieure, Aug. 23 - Feb. 4
  • Magnus Baunsgaard Kristensen, ITU, Mar. 1 - Jul. 2

2020

  • Jonas Hinrichsen, ITU, Nov. 30- Dec. 2
  • Étienne André, Université de Lorraine, Sep. 21-25
  • Jaime Arias, Université Sorbonne, Sep. 21-25
  • Petrucci Laure, Université Sorbonne, Sep. 21-25
  • Christian Uldal Graulund, IT University, Denmark, Sep. 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