I do research and teaching in computer science. Relevant events.

Modules I am teaching in 2006/7

• Computer Security (semester 1)
  
• Network Security (semester 2)
  

Research Interests

• My work broadly concerns reasoning about computer systems, in order to verify their properties.
  Currently, I am working on computer security systems, addressing problems such as
  

• electronic voting protocols
  
• how users can safely run untrusted software
• how to design and verify flexible systems of access control
  

• I'm also interested in other aspects of specifying and verifying systems, including how to design languages and tools to model and check systems, and other aspects of logic in computer science and artificial intelligence. More ...

Research coordination activitites

• EPSRC College member, 2006-2009.
• Programme Committee member, ICALP (Track C), 2007.
• Programme Committee member, 4th ACM Workshop on Formal Methods in Security Engineering (FMSE), 2006.
• Programme Committee member, Workshop on Trustworthy Elections (WOTE), 2006
• Programme Committee member, 19th IEEE Computer Security Foundations Workshop, 2006.
• ProgrammeProgramme Committee member 4th International Workshop on Model checking and Artificial Intelligence , a satellite of ECAI, 2006
  
• More...
  

Books

Other publications