Academic Research Officer
Department of Computer Science, Programming Languages and Theory of ComputingUniversitetsparken 12100 København Ø
E-mail: apja@di.ku.dk