Biography
I have received my PhD in Legal Informatics in 1997 from CIRSFID, University of Bologna. Since them I had academic positions at Imperial College London, Griffith University, Queensland University of Technology, and The University of Queensland.
I joined NICTA (now Data61), in 2008, where I lead the research activities on Business Process Compliance.
My research interests include non-classical logics, non-monotonic reasoning, formal models of normative reasoning, and their applications to business process modelling. A basic guideline of my research is to investigate conceptually sound formal models and methods grounded on understood principles of the underlying (application) phenomena, and with the aim of providing logic-based computationally oriented solutions.
Achievements and Awards
-
-2015
Gold Award, ICT Researcher of the Year
ACS
Fields of Research
Current Roles
-
Group Leader
Software Systems Research Group
Academic Qualifications
-
1997
PhD Legal Informatics
University of Bologna -
1993
BA Philosophy
University of Bologna
Grants
-
2003
UQ New Staff Research Start-Up Fund: On the application of association rules for defeasible theory discovery in legal domain, $9,752
-
2004-2008
ARC Discovery DP0452628: Combining modal logic for dynamic and multi-agents systems (with Prof. A. Sattar, A/Prof M. Orgun, A/Prof M. Reynolds and Dr C. Liu), $480,000