I am a lecturer at Royal Holloway, University of London in the Department of Computer Science. My former webpages are here and here.
My research is about programming languages and security for
distributed systems.
More information on the Research page.
Some recent papers:
ESOP'12, joint work with Nobuko Yoshida.
Regular news can be seen on my Blog. Latest posts: