About me

I am a Senior Lecturer at the Research School of Computer Science,
The Australian National University.
My main research interests span theoretical as well as practical aspects of computer science; these include
formal methods, computational logic, automated theorem proving and computer security.
More specifically, I am interested in modelling aspects of computational systems (such as parts of operating
systems, communication protocols, simple authentication devices, etc) as mathematical theories, and developing
tools and techniques to prove their correctness or to find potential flaws.

Phd Opportunities

I am looking for PhD students interested in doing research in formal methods for computer security, in particular in security protocols design and verification and mobile code security. Candidates with backgrounds in formal logic, discrete maths, and strong programming skills are preferred. Please email me for details and to express your interest.