Aarhus University Seal

Section members

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

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

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 

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