I am a lecturer at Royal Holloway,
University of London in
the Department of Computer
Science. My former webpages
My research is about programming languages and security for
More information on the Research page.
Some recent papers:
July 8, 2013
ICALP 2013. Joint work with Nobuko Yoshida.
Regular news can be seen on my Blog. Latest posts:
September 28, 2013
Welcome to my new website.
To contact me:
(please substitute name by denielou)
Room 105, McCrea Building
Royal Holloway, University of London
Tel.: +44 (0) 17 84 44 36 94