Akademisk medarbejder FU
Datalogisk Institut, Programming Languages and Theory of ComputingUniversitetsparken 52100 København Ø
E-mail: yuqin.zhou@di.ku.dk