Aarhus University Seal / Aarhus Universitets segl

People and visitors

Research Assistants

Rasmus Holdsbjerg-Larsen

Research Assistant Department of Computer Science

List of visitors

2020

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

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

2013