Section members

Professors

Lars Birkedal

birkedal@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Computer Science | Programming | Logic | Semantics

Jaco van de Pol

jaco@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Formal Methods | Verification and validation | High Performance Model Checking

Anders Møller

amoeller@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Programming Languages| Software Engineering | Program Analysis | Static Analysis | Software Testing

Associate Professors

Aslan Askarov

aslan@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Programming Languages | Computer Security

Andreas Pavlogiannis

pavlogiannis@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Formal Methods | Programming Languages | Algorithmic Verification | Concurrency | Evolutionary Game Theory

Amin Timany

timany@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Programming Languages | Type Theory | Logic | Semantics

Magnus Madsen

magnusm@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Programming Languages | Compilers | Static Analysis | Functional Programming | Logic Programming

Bas Spitters

spitters@cs.au.dk

Google Scholar profile |
Personal webpage

Research areas: Categorical Type Theory | Semantics | Program Verification | Blockchain

Assistant Professors

Daniel Gratzer

gratzer@cs.au.dk

Google Scholar profile

Research areas: Programming languages | Typer Theory | Logic | Categorical Semantics

Jean Yves Alexis Pichon

jean.pichon@cs.au.dk

Google Scholar profile

Research areas: Programming languages | Relaxed memory models | Systems programming

Philipp Georg Haselwarter

pgh@cs.au.dk

Google Scholar profile
Personal webpage

Research areas: Programming Languages | Logic | Cryptography | Type Theory | Fomal Methods

Postdocs

Name	Job title	Email	Phone	Building
Nelson, Boel	Postdoc	boel@cs.au.dk

PhD students

Name	Job title	Email	Building
Aagaard, Frederik Lerbjerg	PhD Student	aagaard@cs.au.dk
Bligaard, Laurits Svend	PhD Student	bligaard@cs.au.dk
Daby-Seesaram, Arnaud	Research Fellow	arnaud.daby-seesaram@cs.au.dk	5341, 126
Dahlsen-Jensen, Mikael Bisgaard	Student Teacher	mikael@cs.au.dk
Dong, Yifan	PhD Student	yvan.dong@cs.au.dk
Hansen, Lasse Letager	PhD Student	letager@cs.au.dk
Kjelstrøm, Adam Husted	Research Fellow	husted@cs.au.dk	5341, 121
Larsen, Andreas Stenbæk	PhD Student	astenbaek@cs.au.dk
Laursen, Mathias Rud	PhD Student	mrud@cs.au.dk
Legoupil, Maxime Robert Sébastien	Research Fellow	maxime@cs.au.dk	5341, 226
Li, Kwing Hei	PhD Student	hei.li@cs.au.dk
Liu, Zongyuan	Postdoc	zy.liu@cs.au.dk
Mathiasen, Anders Alnor	PhD Student	alnor@cs.au.dk
Møldrup, Lasse Overgaard	PhD Student	moeldrup@cs.au.dk
Namakonov, Egor Sergeevich	PhD Student	e.namakonov@cs.au.dk
Nielsen, Eske Hoy	PhD Student	eske@cs.au.dk
Rousseau, June Belinda Cerise	PhD Student	june.rousseau@cs.au.dk	5341, 128
Saioc, Georgian-Vlad	PhD Student	gvsaioc@cs.au.dk
Sølvsten, Steffan Christ	PhD Student	soelvsten@cs.au.dk
Starup, Jonathan Lindegaard	PhD Student	jls@cs.au.dk
Stepanenko, Sergei	PhD Student	sergei.stepanenko@cs.au.dk
Xu, Wenyuan	PhD Student	wenyuan.xu@cs.au.dk