Guido Governatori is a lecturer in the School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia, where he is a member of the Data and Knowledge Engineering (DKE) group.
He graduated in Philosophy in 1993 from the University of Bologna (Department of Philosophy), and in 1997 he received his PhD in Computer Science and Law from the same university (CIRFID, now CIRSFID) with a thesis on "A formal model of normative reasoning". In 1997 and 1998 he was an academic visitor at the Department of Computing, Imperial College, London, where he worked with Dov Gabbay on labelled deductive systems for fibred logics. From 1998 to 2000 he was a research associate at Griffith University, where he worked with Grigoris Antoniou, David Billington, and Michael Maher on an ARC large grant on defeasible logic and regulations.
Currently he is the main chief investigator in two Australian Research Council Discovery Projects on "Combining modal logic for dynamic and multi-agents systems" and "A Formal Approach to Resource Allocation in Service Oriented Marketplaces".
His research interests include modal and non-classical logics, formal model of argumentation and negotiation, normative reasoning, non-monotonic reasoning, labelled deductive systems, and intelligent information systems.