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,lask}[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.

Talks

Notes on logical relations

Filer til Scratch-projekt

Hvis du er kommet hertil fra en Scratch-projektguide, så klik her for en liste af lande og her for en liste af hovedstæder.