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

Projects and Grants

Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.

Return to top

Updated:  19 August 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers