Synopsis
I am currently an Assistant Professor with a fixed term contract (Ricercatore a Tempo Determinato) at the KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano, under the supervision of Prof. Diego Calvanese.
My research activity focuses on theoretical, methodological and experimental aspects of knowledge representation and automated reasoning for the formal specification, verification and monitoring of (data-aware) business processes, clinical guidelines, service-oriented and multi-agent systems.
I am currently investigating the formal specification and automated verification of artifact- and data-centric business processes, encompassing both control-flow aspects and the manipulation of data. These are typically infinite state systems, and their verification requires a novel combination of several different research areas, such as business process management, databases, formal methods, knowledge representation and reasoning.
Some of our recent scientific results are summarized in this and this nice posters, respectively by Babak Bagheri Hariri and Ario Santoso.
On these topics, I authored a Springer monograph and more than 60 papers, published in top-level, peer-reviewed international journals, conferences and workshops.
My Google Scholar page can be found here. For more information, download my CV (01/2013).
Research Interests
Foundational:
|
Domain-related:
|
Short Biographical Notes
| 05/2011-now | Assistant Professor with a fixed term contract at the KRDB Research Center, Free University of Bozen-Bolzano. Supervisor: Prof. Diego Calvanese. |
|---|---|
| 11/2009-04/2011 | Post-doc at DEIS, University of Bologna. Topic: a declarative approach to the specification and verification of clinical guidelines. Supervisor: Prof. Paola Mello. |
| 08/2009-04/2011 | Senior IT consultant at Image Line. |
| 07/2010 | Recipient of a visitor travel grant offered by the Netherlands Organization for Scientific Research (NWO). Visitor researcher at the Eindhoven University of Technology - Prof. Wil van der Aalst. Topic: operational decision support - runtime verification and monitoring of business constraints. |
| 05/2009-10/2009 | Research contract at DEIS, University of Bologna. Topic: Application of artificial intelligence techniques to the analysis of foreign tourist flows. |
| 06/2009 | The PhD dissertation is honored with the 2007-2009 "Marco Cadoli" Distinguished Dissertation Award, awarded by the Italian Association for Logic Programming to the most outstanding italian theses focused on computational logic; the evaluation procedure has been carried out by an international panel of leading experts. |
| 04/2009 | PhD in Electronics, Computer Science and Telecommunications Engineering, University of Bologna. Thesis title: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Supervisor: Prof. Paola Mello. |
| 01/2009-04/2009 | C.I.N.I. research contract in the context of the FIRB italian Project TOCAI.IT. Topic: Process Mining: analysis of business process execution traces. |
| 01/2006-12/2008 | Recipient of a three-years MIUR fellowship for pursuing a PhD in Electronics, Computer Science and Telecommunications Engineering, University of Bologna. |
| 01/2005-12/2005 | Recipient of a technology transfer grant offered by the Spinner Consortium. Topic: formalization and verification of care-flow protocols. |
| 09/2003-10/2005 | MEng in Computer Science Engineering, University of Bologna. Final grade: 110/110 cum laude. Thesis title: A graphical language for the specification and verification of protocols. |
| 09/2000-07/2003 | BEng in Computer Science Engineering, University of Bologna. Final grade: 110/110 cum laude. Thesis title: Modeling Interaction in Multi-Agent Systems. |
Projects
- EU FP7 STREP Project ACSI: Artifact-Centric Service Interoperation (investigator)
- FIRB italian Project RBNE05BFRK TOCAI.IT: Knowledge-Oriented Technologies for Enterprise Aggregation in Internet, (investigator within activity 9: Discovery and Classification of Processes and Intra/Inter-Organizational Knowledge).
- MIUR PRIN italian Project 2007-7WWCR8 Forms of Correlation between Italian Style, Touristic Flows and Made in Italy's Consumers Trends (investigator)
- MIUR PRIN italian Project 2005-011293 Specification and Verification of Agents Interaction Protocols (investigator)
Organizational Activities
| 08/2012 | Organization co-chair of the Joint Workshop on Security in Business Processes (SPB'12), in conjunction with BPM 2012 |
|---|---|
| 06/2012 | Co-organizer of the Workshop on Popularize Artificial Intelligence (PAI-2012), in conjunction with AI*IA 2012 |
| 09/2011 | Co-chair of the demo challenge at the 5th International Symposium on Rules (RuleML 2011) |
| 04/2011 | Chair of the doctoral program at the Third International Spring School on Computational Logic (ISCL 2011) |
Program Committees and Review Activity
PC Member for:- IJCAI 2013, 23nd International Joint Conference on Artificial Intelligence
- AAMAS 2013, 12 International Conference on Autonomous Agents and Multiagent Systems
- SAC-EE 2013, 10th Enterprise Engineering Track at ACM SAC 2013
- KiBP 2012, 1st International Workshop on Knowledge-intensive Business Processes
- IJCAI 2011, 22nd International Joint Conference on Artificial Intelligence
- AAMAS 2011, 10th International Conference on Autonomous Agents and Multi-Agent Systems
- CILC 2011, 26-esimo Convegno Italiano di Logica Computazionale
- MAS&BIO 2008, Workshop on Multi-Agent Systems and Bioinformatics (in conjunction with AI*IA 2008)
Reviewer for: IEEE Transactions on Services Computing (IEEE TSC), Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Journal of Intelligent Information Systems (JIIS), LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), International Joint Conference on Artificial Intelligence (IJCAI), International Conference on Autonomous Agents and Multiagent Systems (AAMAS), European Conference on Logics in Artificial Intelligence (JELIA), Conference on Artificial Intelligence in Medicine (AIME), International Conference on Business Process Management (BPM), International Conference on Principles and Practice of Constraint Programming (CP), International Conference on Artificial Intelligence in Medicine (AIME), Starting Artificial Intelligence Research Symposium (STAIRS), International Symposium on Methodologies for Intelligent Systems (ISMIS), International Conference on Advances in Semantic Processing (SEMAPRO), Mexican International Conference on Artificial Intelligence (MICAI 2006), International Workshop on Declarative Agent Languages and Technologies (DALT), Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0), Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Workshop on Data- & Artifact- centric BPM (DAB), International Workshop on Governance, Risk, and Compliance on Information Systems (GRCIS), Workshop on Agents, Web-Services, and Ontologies (MALLOW AWESOME), AI*IA Symposium on Artificial Intelligence, Convegno Italiano di Logica Computazionale (CILC), Conference of the Italian Chapter of AIS Organization change and Information Systems (ItAIS).
Supervision and Evaluation of Theses
Co-supervisor for the PhD Thesis of Dmitry Solomakhin: Combining Process and Ontological Modeling.Reviewer and commission member for the PhD Thesis of Martin Rezk: Reasoning about Actions in Transaction Logic.
From 2006 to 2011, he has been co-supervisor of approx. 30 MEng and BEng theses at the University of Bologna. Topics: artificial intelligence, knowledge representation and automated reasoning, formal methods and software engineering, with applications in the following fields: business process management and process mining, service-oriented systems, open multi-agent systems, clinical guidelines and careflows, embedded systems, model-driven engineering, scheduling and allocation.
Talks
| 05/03/2012 | Seminar at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy): Verification of Relational Data-Centric Dynamic Systems (PDF) |
|---|---|
| 29/08/2011 | Presentation at the at the 4th International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth'11), Clermont-Ferrand (France): Conformance Checking of Executed Clinical Guidelines in presence of Basic Medical Knowledge (PDF) |
| 07/06/2011 | Seminar at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy): Runtime Reasoning with the Event Calculus: from Theory to Practice (PDF) |
| 15/12/2010 | Seminar at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy): Specification and Verification of Declarative Open Interaction Models (PDF) |
| 30/11/2010 | Invited talk at the Annual meeting of the Interdisciplinary Laboratory on Interacting Knowledge Systems (ILIKS), LOA-CNR, Trento (Italy): Monitoring Time-Aware Social Commitments (PDF) |
| 29/07/2010 | Seminar at the Eindhoven University of Technology, Eindhoven (the Netherlands): Business Constraints Monitoring and Operational Support (PDF) |
| 19/07/2010 | Tutorial at the Eindhoven University of Technology, Eindhoven (the Netherlands): Reasoning on Execution Traces with the Event Calculus |
| 06/04/2010 | Presentation at the 7th International Symposium "From Agent Theory to Agent Implementation" (AT2AI-7), Vienna (Austria): Monitoring Time-Aware Social Commitments with Reactive Event Calculus. Best Paper Award. |
| 09/07/2009 | Demo at the at the 10th Italian Workshop "From Objects to Agents" (WOA 2009), Parma (Italy): A REC-Based Commitment Tracking Tool. |
| 05/09/2008 | Presentation at the 5th International Workshop on Web Services and Formal Methods (WS-FM2008), Milan (Italy): Verification of Choreographies During Execution Using the Reactive Event Calculus |
| 01/09/2008 | Presentation at the Workshop on Business Process Intelligence (BPI2008), in conjunction with BPM2008, Milan (Italy): Checking Compliance of Execution Traces to Business Rules |
| 17/01/2008 | Seminar at the final meeting of the PRIN Project "Specification and Verification of Agent Interaction Protocols", Alessandria (Italy): Verification of Declarative Business Processes and Choreographies |
| 08/01/2008 | Seminar at the Eindhoven University of Technology, Eindhoven (the Netherlands): Verification of Declarative Business Processes and Choreographies |
| 12/12/2007 | Invited Talk at the the PSW Day (thematic day on web services verification), LORIA - INRIA, Nancy (France): Declarative Specification and Verification of Service Choreographies |
| 09/09/2006 | Presentation at the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna (Austria): Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool |
| 28/08/2006 | Presentation at the 4th International Workshop on AI for Service Composition (AISC2006), in conjunction with ECAI2006, Riva del Garda (Italy): Abduction for Specifying and Verifying Web Service Choreographies |
| 24/06/2005 | Presentation at the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05), Dublin (Ireland): Using Social Integrity Constraints for On-the-fly Compliance Verification of Medical Protocols |