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.
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.