• Security and cryptography: connections between symbolic and computational security analysis, rigurous models for security, point lattices, foundational issues
• General interest - behavioural specification/analysis in computer science (cryptography, software engineering, algorithm specification)

I am a lecturer in the Computer Science Department, University of Bristol

I am a program committee member for: ICALP 2008 , FCC 2008 , ICICS 2008 , FMSE 2008

I was program committee member for: FM'99 , FCS-ARSPA'06 , TCC'07 , INSCRYPT 2007