Visit the section website to learn more about our research and teaching.
Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
https://di.ku.dk/english/research/pltc/
Universitetsparken 5, Bygning B
København Ø
E-mail:
m.kirkedal@di.ku.dk
Telephone: +4535336154
Head of Section
Martin Elsman
Professor
mael@di.ku.dk