College of Engineering
and Computer Science
The Australian National University
RSISE Building 115, Canberra, ACT 0200, Australia
Phone: +61 (0)2 6125 5992, Fax: +61 (0)2 6125 8651
I am a researcher in the Logic and Computation group
in the Research School of Computer Science.
I am an Australian Research Fellow funded by the Australian Research Council under
the ARC QEII/ARF funding scheme.
- Proof theory:
logical framework for reasoning about computations, higher-order
abstract syntax, abstract logic programming, deep inference.
- Theorem proving and verification.
- Concurrency theory: pi-calculus, spi-calculus, bisimulation,
verification of security protocols.
- Evidence-based frameworks for security protocol verification.
2011 - 2015. Funded by the Australian Research Concil.
- Proof theoretical methods for reasoning about process
equivalence. 2008 - 2011. Funded by the Australian Research Council.
- SPEC: an equivalence checker for cryptographic protocols.
An automated theorem proving/model checking system based on the logic Linc.
Past professional activities
Certified Programs and Proofs (CPP) 2013. December 11 - 13, 2013, Melbourne, Australia.
The 25th IEEE Computer Security Foundations Symposiom (CSF 2012). June 25 - 27, 2012, Cambridge MA, USA.
The 6th International Joint Conference on Automated Reasoning (IJCAR 2012).
June 26 - July 1, 2012, Manchester, UK. PC Member.
European Summer School in Logic, Language and Information (ESSLLI) 2012,
August 6 - 17, 2012, Opole, Poland.
Combined workshop on Expressiveness in Concurrency and
Structural Operational Semantics (EXPRESS/SOS) 2012, September 3, 2012, Newcastle upon Tyne, UK. PC Member.