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