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
Email: JavaScript must be enabled to display this email address.

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.

Research Interests

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.

Publications

Teaching

Projects

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.

Software

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

Professional Activities

Certified Programs and Proofs (CPP) 2013. December 11 - 13, 2013, Melbourne, Australia. PC Member.
The 25th IEEE Computer Security Foundations Symposiom (CSF 2012). June 25 - 27, 2012, Cambridge MA, USA. PC Member.
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.

Past professional activities