Blog icon

Dr Guido Governatori

Software Systems Group Leader


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

Current Roles

  • Group Leader
    Software Systems Research Group

Academic Qualifications

  • 1997

    PhD Legal Informatics
    University of Bologna

  • 1993

    BA Philosophy
    University of Bologna


  • 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