Alwen Tiu

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
e-mail:

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.

Some past and present projects:

Evidence-based frameworks for security protocol verification. 2011 - 2015. Funded by the Australian Research Concil (ARC).
Proof theoretical methods for reasoning about process equivalence. 2008 - 2011. Funded by the ARC.
Combining interactive proof assistants with automated SMT provers. This is part of the QSL platform project at LORIA.
Implementing logical frameworks: see the logic Linc, and also the Slimmer project at Ecole polytechnique, France.

SPEC: an equivalence checker for cryptographic protocols.
Bedwyr. An automated theorem proving/model checking system based on the logic Linc.