Associate Professor Alwen Tiu

College of Engineering & 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


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.
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.
I am a Fellow (senior researcher) in the Logic and Computation group in the School of Computer Science.

Available student projects

See my webpage at CECS.



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:  08 May 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers