I completed a Bsc (hons I) and a MSc at the University of Melbourne in 1987. I completed my PhD in Computer Science at the University of Cambridge, England, in 1992. I was a postdoc at Manchester University from 1992-1994. I joined the ANU as a Research Fellow in 1994. I was an ARC QEII Fellow at ANU from 1997-2002. I was appointed as an Associate Professor at ANU in 2002. I took a "voluntary" redundancy from the ANU in 2020. I joined Monash at 20% FTE as a professor in 2024.
Supervisor's projects
Project name Sort descending | Type |
---|---|
Efficient CEGAR-tableaux for Non-classical Logics | Research project |
Efficient CEGAR-tableaux for Non-classical Logics | Honours project |
Formally Verified Automated Reasoning in Non-Classical Logics | Research project |
Formally Verified Automated Reasoning in Non-Classical Logics | Honours project |