My Research
Resume
I am a Senior Principal Researcher and the Associate Education Director of NICTA Queensland. I also lead the Business Process Compliance research activity in the Software Systems Reserach Group.
I graduated in Philosophy in 1993 from the University of Bologna (Department of Philosophy), and in 1997 I received my PhD in Computer Science and Law from the same university (CIRFID, now CIRSFID) with a thesis on "A formal model of normative reasoning " (in italian) under the supervision of Professors Alberto Artosi and Maurizio Matteuzzi. In 1997 and 1998 I was an academic visitor at the Department of Computing, Imperial College, London, where I worked with Dov Gabbay on labelled deductive systems for fibred logics. From 1998 to 2000 I was a research associate at Griffith University where I worked with Grigoris Antoniou, David Billington and Michael Maher on an ARC large grant on defeasible logic and regulations.
From July 2000 until January 2001 I was an associate lecturer in the School of Information Systems, Queensland University of Technology, where I worked with Arthur ter Hofstede and Marlon Dumas on the SPIRT project REDCONE.
From 2002 to 2008 I worked at the School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, Australia, where I was a member of the Data and Knowledge Engineering (DKE) research division.
Research Interests
My research interests include modal and non-classical logics, defeasible logic, formal model of argumentation and negotiation, normative reasoning, non-monotonic reasoning, and labelled deductive systems.
Publications
Click here for a list of my publications and here for the same list with the abstracts and BiBTeX entries. You can download the complete list from this link.