Alwen Tiu

Research School of Information Sciences and Engineering
Building 115 Australian National University
Canberra, ACT 0200, Australia
Phone: +61 (0)2 6125 5992
Fax: +61 (0)2 6125 8645
e-mail:

I am a research fellow in the Logic and Computation group in the Computer Science Lab, RSISE, ANU.

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:

'Proof theoretical methods for reasoning about process equivalence'. Funded by the Australian Research Council (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.