Skip navigation
The Australian National University

Dr Alwen Tiu

Fellow
ANU College of Engineering and Computer Science
T: 02 6125 5992

Areas of expertise

  • Analysis Of Algorithms And Complexity 080201
  • Computer System Security 080303
  • Computational Logic And Formal Languages 080203
  • Computation Theory And Mathematics 0802
  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics) 010104
  • Software Engineering 080309
  • Programming Languages 080308
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra 010107
  • Computer Software 0803

Biography

Research interests:
My main interests are in logic, proof theory and process algebra, and their applications in computer science, in particular, in specifying and reasoning about models of computation and programming languages. I have recently taken interest in modeling security protocols in process algebra, using extensions of the pi-calculus, and in reasoning about such specifications using proof theoretic techniques. Other related areas of interest include theorem proving, logic programming, type theory, and formal verification of algorithms.
Bio:
I obtained my PhD degree from the Pennsylvania State University in 2004. I spent about a year as a visiting student at Ecole Polytechnique (France) during my PhD. I did a one-year postdoc at LORIA/INRIA Lorraine (2004 - 2005), prior to joining the ANU in 2006.
Duties:
I am a Fellow (senior researcher) in the Logic and Computation group in the School of Computer Science.

Available student projects

Formal Logical Analysis of Security Protocols - Keywords: logic, proof theory, security protocols, process calculus

A Generic Theorem Prover for Modal Logics - Keywords: modal logic, sequent calculus, deep inference, automated reasoning

Practical access control in Java - Keywords: Access control, runtime verification, monitoring, temporal logic, Java

Reasoning about Operational Semantics and Type Systems - Keywords: programming languages, process calculi, type systems, operational semantics, automated reasoning, higher-order abstract syntax

Publications

Return to top

Updated:  13 December 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers