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.
Research Interests
- Proof theory :
logical framework for reasoning about computations, higher-order
abstract syntax, abstract logic programming, calculus
of structures.
- Theorem proving and verification.
- Concurrency theory: pi-calculus, spi-calculus, bisimulation,
verification of security protocols.
Projects
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.