Lau Skorstengaard

Lau Skorstengaard


Lau Skorstengaard
Dept. of Computer Science, Aarhus University
Aabogade 34
8200 Aarhus N

Office: Turing (building 5341), office 213

E-mail: lau [at]

Research interests

My research is on language-based security with an emphasis on the language part. I apply modern techniques for reasoning about programs and programming languages in a security setting.


Talks and presentations

Notes on logical relations