Kai Pischke
Wolfson Building, Parks Road, Oxford OX1 3QD
Programming Language Theory, Type Systems, Concurrency