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

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). AUD 615k. Project Leader and Chief Investigator.
Proof theoretical methods for reasoning about process equivalence. 2008 - 2011. Funded by the Australian Research Council. AUD 216k. Project Leader and Chief Investigator.
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.