I have received my PhD in Legal Informatics in 1997 from CIRSFID, University of Bologna. Since then 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.
Compliance-aware Engineering Process Plans: The case of Space Software Engineering Processes (Mar 2021) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori Artificial Intelligence and Law (AIL)
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Feb 2019) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori 2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)