Glynn WinskelProfessor of Theoretical Computer Science (T&R)Email: g.winskel@qmul.ac.ukRoom Number: 4th floor Peter Landin shared spaceResearch