Associate Professor Alwen Tiu

Fellow
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

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

See my webpage at CECS. https://cecs.anu.edu.au/people/alwen-tiu

 

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:  20 September 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers