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.
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.
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Dec 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori 2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)