Institution. Aarhus University

link · au.dk · ROR

People

Alejandro Aguirre alejandroaguirreTenure-Track Assistant Professor · Aarhus University
Postdoc advisorLars Birkedal
PhDUniversidad Politécnica de Madrid
Master’sUniversité Paris Diderot
UndergraduateUniversidad Complutense de Madrid
pure.au.dk/portal/en/persons/ed9d6578-8666-4e42-988a-b91f6cf38b58 · 0000-0001-6746-2734

Amin Timany amintimanyAssociate Professor · Aarhus University
PhD advisorBart Jacobs, Frank Piessens
PhD studentsAbel Nieto, Anders Alnor Mathiasen, Simon Oddershede Gregersen
PhDKU Leuven
cs.au.dk/~timany · 0000-0002-2237-851X · amintimany · @amintimany@types.pl

Anders Alnor Mathiasen andersalnormathiasenPhD Student, Department of Computer Science · Aarhus University
PhD advisorAmin Timany, Lars Birkedal
au.dk/en/alnor@cs.au.dk · 0009-0005-6587-5590

Arnaud Daby-Seesaram arnauddabyseesaramAarhus University
0000-0002-0226-4638

Bas Spitters basspittersAssociate professor · Aarhus University
cs.au.dk/~spitters · 0000-0002-2802-0973

Daniel Gratzer danielgratzerTenure-Track Assistant Professor · Aarhus University
PhD advisorLars Birkedal
Postdoc advisorLars Birkedal, Sam Staton
PhDAarhus University
UndergraduateCarnegie Mellon University
danielgratzer.com · 0000-0003-1944-0789 · jozefg

Egor Namakonov egornamakonovPhD student · Aarhus University
Master’sSt Petersburg University
UndergraduatePeter the Great St. Petersburg Polytechnic University
fresheed.github.io · 0000-0002-7517-9389 · https://github.com/fresheed

Frederik Lerbjerg Aagaard frederiklerbjergaagaardPhD student · Aarhus University

Jean Pichon-Pharabod jeanpichonpharabodTenure-track assistant professor · Aarhus University
PhD advisorPeter Sewell
PhDUniversity of Cambridge
jeanpichon.github.io · 0000-0002-4442-6543

June Rousseau junerousseauAarhus University
junerousseau.github.io · 0009-0003-6778-6597

Kwing Hei Li kwingheiliPhD Student, Logics and Semantics group · Aarhus University
PhD advisorLars Birkedal
Master’sUniversity of Cambridge
UndergraduateUniversity of Cambridge
hei411.github.io · 0000-0002-4124-5720 · https://github.com/hei411

Lars Birkedal larsbirkedalProfessor, Villum Investigator · Aarhus University
PhD advisorDana Scott
PhD studentsAbel Nieto, Aïna Linn Georges, Anders Alnor Mathiasen, Daniel Gratzer, Hans Bugge Grathwohl, Kwing Hei Li, Philipp Stassen, Sergei Stepanenko, Simon Oddershede Gregersen
PostdocsAlejandro Aguirre, Armaël Guéneau, Daniel Gratzer, Jon Sterling
PhDCarnegie Mellon University
Master’sCarnegie Mellon University, University of Copenhagen
UndergraduateCopenhagen Business School
cs.au.dk/~birke · 0000-0003-1320-0098

Léon Ducruet leonducruetPhD Student · Aarhus University
0009-0002-6141-5624

Mathias Pedersen mathiaspedersenPhD Student · Aarhus University
0009-0004-4742-3868

Philipp G. Haselwarter philippghaselwarterAssistant Professor · Aarhus University
PhD advisorAndrej Bauer
PhDUniversity of Ljubljana
haselwarter.org/~philipp · 0000-0003-0198-7751 · https://github.com/haselwarter

Philipp Stassen philippstassenAarhus University
PhD advisorLars Birkedal
PhDAarhus University
pure.au.dk/portal/en/persons/dcf5bf21-0adf-4a0e-bde4-c2044fe073e5 · 0000-0003-4600-777X

Sergei Stepanenko sergeistepanenkoPostdoc · Aarhus University
PhD advisorLars Birkedal
PhDAarhus University
kaptch.link · 0000-0002-7322-5644 · https://github.com/Kaptch

Simon Friis Vindum simonfriisvindumAarhus University
0000-0002-4617-4976

Zongyuan Liu zongyuanliuVIP, Postdoc · Aarhus University
pure.au.dk/portal/en/persons/000f0860-6adc-4670-af97-1b82cbe1e1c1 · 0000-0001-9652-4869

PhD alumni

Abel Nieto abelnietoCompiler engineer · NVIDIA
PhD advisorAmin Timany, Lars Birkedal
PhDAarhus University
Master’sUniversity of Waterloo
UndergraduateUniversity of Waterloo
abeln.github.io · 0000-0003-2741-8119 · https://github.com/abeln

Aïna Linn Georges ainalinngeorgesPostdoctoral researcher · Max Planck Institute for Software Systems
PhD advisorLars Birkedal
Postdoc advisorDerek Dreyer
PhDAarhus University
Master’sAarhus University
UndergraduateMcGill University
people.mpi-sws.org/~algeorges · 0000-0002-5951-4642 · https://github.com/ageorg29

Daniel Gratzer danielgratzerTenure-Track Assistant Professor · Aarhus University
PhD advisorLars Birkedal
Postdoc advisorLars Birkedal, Sam Staton
PhDAarhus University
UndergraduateCarnegie Mellon University
danielgratzer.com · 0000-0003-1944-0789 · jozefg

Hans Bugge Grathwohl hansbuggegrathwohl
PhD advisorLars Birkedal
PhDAarhus University

Paulo Oliva pauloolivaReader in Mathematical Logic · Queen Mary University of London
PhD advisorUlrich Kohlenbach
PhD studentsJules Hedges
PhDAarhus University
UndergraduateUniversidade Federal de Pernambuco
paulooliva.github.io · 0000-0002-0492-4855

Philipp Stassen philippstassenAarhus University
PhD advisorLars Birkedal
PhDAarhus University
pure.au.dk/portal/en/persons/dcf5bf21-0adf-4a0e-bde4-c2044fe073e5 · 0000-0003-4600-777X

Sergei Stepanenko sergeistepanenkoPostdoc · Aarhus University
PhD advisorLars Birkedal
PhDAarhus University
kaptch.link · 0000-0002-7322-5644 · https://github.com/Kaptch

Simon Oddershede Gregersen simonoddershedegregersenTenure-Track Faculty · Helmholtz Center for Information Security
PhD advisorAmin Timany, Lars Birkedal
Postdoc advisorJoseph Tassarotti
PhDAarhus University
simongregersen.com · 0000-0001-6045-5232 · https://github.com/simongregersen

Master’s alumni

Aïna Linn Georges ainalinngeorgesPostdoctoral researcher · Max Planck Institute for Software Systems
PhD advisorLars Birkedal
Postdoc advisorDerek Dreyer
PhDAarhus University
Master’sAarhus University
UndergraduateMcGill University
people.mpi-sws.org/~algeorges · 0000-0002-5951-4642 · https://github.com/ageorg29

Formerly here

Alix Trieu alixtrieuAgence nationale de la sécurité des systèmes d’information
alix.trieu.dev · 0000-0002-8239-8125

Armaël Guéneau armaelgueneauPermanent researcher, Toccata team · Inria
PhD advisorArthur Charguéraud, François Pottier
Postdoc advisorLars Birkedal
PhDInria
cambium.inria.fr/~agueneau · 0000-0003-3072-4045

Filip Sieczkowski filipsieczkowskiAssistant professor · University of Wrocław
PhDIT University of Copenhagen
Master’sUniversity of Wrocław
fsieczkowski.github.io · 0000-0001-5011-3458 · https://github.com/fsieczkowski/

Jonas Kastberg Hinrichsen jonaskastberghinrichsenAssistant Professor · Aalborg University
PhDIT University of Copenhagen
jihgfee.github.io · 0000-0001-6143-9031

Jon Sterling jonmsterlingAssociate Professor · University of Cambridge
PhD advisorRobert Harper
Postdoc advisorLars Birkedal
PostdocsAndrew Slattery
PhDCarnegie Mellon University

Associate Professor in Logical Foundations and Formal Methods at University of Cambridge.

jonmsterling.com · 0000-0002-0585-5564 · jonsterling · @jonmsterling@mathstodon.xyz

Léon Gondelman leongondelmanAssistant Professor · Aalborg University
PhD advisorAndrei Paskevich, Jean-Christophe Filliâtre
PhDUniversité Paris Saclay
0000-0001-8262-6397 · https://github.com/leon-gondelman

Maxime Legoupil maximelegoupilNanyang Technological University
pure.au.dk/portal/en/persons/6d3e2501-3757-4341-b9fc-2c728b1596f1 · 0009-0005-4093-2755

Philipp Stassen philippstassenAarhus University
PhD advisorLars Birkedal
PhDAarhus University
pure.au.dk/portal/en/persons/dcf5bf21-0adf-4a0e-bde4-c2044fe073e5 · 0000-0003-4600-777X

Simon Oddershede Gregersen simonoddershedegregersenTenure-Track Faculty · Helmholtz Center for Information Security
PhD advisorAmin Timany, Lars Birkedal
Postdoc advisorJoseph Tassarotti
PhDAarhus University
simongregersen.com · 0000-0001-6045-5232 · https://github.com/simongregersen
aarhus-university institution entries/institutions/aarhus-university.hel