Department of Computer Science

Aarhus University Seal
 Department of Computer Science Research Logic and Semantics People and visitors

People and visitors

Faculty Staff

Aslan Askarov

Associate Professor
M
H 5341, 216
P +4523823124

Lars Birkedal

Professor
M
H 5341, 225/227
P +4523838546

Jean Pichon-Pharabod

Tenure Track Assistant Professor
M

Bas Spitters

Associate Professor
M
H 5335, 398

Amin Timany

Associate Professor
M

Jaco van de Pol

Professor
M

PostDocs

Name Job title Email Phone Building
Aguirre, Alejandro Postdoc alejandro@cs.au.dk
Gratzer, Daniel Postdoc gratzer@cs.au.dk
Haselwarter, Philipp Georg Postdoc pgh@cs.au.dk
Hinrichsen, Jonas Kastberg Postdoc hinrichsen@cs.au.dk
Nelson, Boel Postdoc boel@cs.au.dk

PhD Students

Name Job title Email Phone Building
Aagaard, Frederik Lerbjerg PhD Student aagaard@cs.au.dk
Dahlsen-Jensen, Mikael Bisgaard PhD Fellow mikael@cs.au.dk
Hansen, Lasse Letager PhD Student letager@cs.au.dk
Jørgensen, Steffan Christ Sølvsten PhD Student soelvsten@cs.au.dk
Larsen, Andreas Stenbæk PhD Student astenbaek@cs.au.dk
Legoupil, Maxime Robert Sébastien Research Fellow maxime@cs.au.dk
Li, Kwing Hei PhD Student hei.li@cs.au.dk
Liu, Zongyuan PhD Student zy.liu@cs.au.dk
Mathiasen, Anders Alnor PhD Student alnor@cs.au.dk
Namakonov, Egor Sergeevich PhD Student e.namakonov@cs.au.dk
Nielsen, Eske Hoy PhD Student eske@cs.au.dk
Rousseau, Bastien Tom Titouan PhD Student bastien.rousseau@cs.au.dk
Stassen, Philipp Jan Andries PhD Student stassen@cs.au.dk
Stepanenko, Sergei PhD Student sergei.stepanenko@cs.au.dk

Administration

Henriette Gammelgaard Farup

Research Group Coordinator
M
H 5341, 217
P +4593522241

List of visitors

2023

  • Engelbert Hubbers, Dec.
  • Brigitte Pientka, Dec.
  • Steven Keuchel, Nov.
  • Mark Barbone, Aug.
  • Ranald Clouston, Aug-Sep.
  • Leo Stefanesco, IRIF, Aug.
  • Etiénne André, July.
  • Armaël Guéneau, Inria Saclay, June.
  • Angus Hammond, University of Cambridge, June.
  • Thomas Van Strydonck, April.
  • Steven Keuchel, April.
  • Dominique Devrieses, April.
  • Pedro Amorim, April-May.
  • Léon Ducruet, ENS Lyon, May-July.
  • Baptiste Fievet, March-April.
  • Ohad Kammar, University of Edinburgh, March.
  • Ira Fesefeldt, RWTH Aachen University, March.
  • Satoshi Kura, University of Oxford, Feb.
  • Vincent Lafeychine, ENS Paris-Saclay, Feb-Juli
  • Pieter Bos, University of Twente, Jan.

2022

  • Ben Simmer, University of Cambridge, Dec.
  • Leo Stefanesco, IRIF, Oct.
  • Armäel Guéneau, Inria Saclay, Oct.
  • Dorian Lesbre, ENS Paris, Oct-March 2023
  • Derek Sorensen, University of Cambridge, Oct. 17-21
  • Leo Stefanesco, IRIF, Aug. 16 - 20
  • Mo Foughali, Université de Paris, July 24 - Aug. 17
  • Donovan Cricton, Australian National University, June 7-12
  • Kilian Ravon (internship), ENS Rennes, May 16 - July 31
  • Galaad Langlois (internship), ENS Lyon, May 2 - Jul. 22
  • Maxime Legoupil (internship), Ecole Normale Superieure, Mar. 1 - Aug. 31
  • Rasmus Ejlers Møgelberg, ITU, Feb. 24-26
  • Arnaud Daby-Seesaram (internship), ENS Paris, Feb. 15 - Aug. 15
  • Bastien Rousseau (internship), ENS Rennes, Jan. 17 - Jun. 17

2021

  • Magnus Baunsgaard Kristensen, ITU, Dec. 15-22
  • Magnus Baunsgaard Kristensen, ITU, Nov. 22-26
  • Leo Stefanesco, IRIF, Aug.  23 - Sep. 17
  • Alban Reynaud (internship), l’Ecole Normale Supérieure de Lyon, Aug. 30 - Jan. 21
  • Maxime Legoupil (internship), Ecole Normale Superieure, Aug. 23 - Feb. 4
  • Matthew Lutze, Université de Paris, July 15 - Sept 15
  • 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

Revised 23.01.2024
-
Sofia Hedegaard Rasmussen