Lau Skorstengaard

Lau Skorstengaard

Contact

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

Office: Turing (building 5341), office 213

E-mail: lau [at] cs.au.dk

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.

Publications

Talks and presentations

Notes on logical relations