Skip navigation
The Australian National University
photo of Alwen

Dr Alwen TIU

Position:Fellow
Email:JavaScript must be enabled to display this email address.
Personal website:http://rsise.anu.edu.au/~tiu
Phone:55992
Building:RSISE (115)
Room:B219
Groups:CS, LC
Staff category:Academic

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.

Duties:

I am a Fellow (senior researcher) in the Logic and Computation group in the Research School of Computer Science.

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.

Research opportunities with Dr Alwen TIU

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.