Troels Henriksen
Tenure Track Adjunkt
Programming Languages and Theory of Computing
https://di.ku.dk/english/research/pltc/
Universitetsparken 5, Bygning B
København Ø
E-mail:
athas@di.ku.dk