???global.info.a_carregar???
Alessandro Gianola is a (Tenure Track) Assistant Professor in Information Systems at the Departamento de Engenharia Informática at Instituto Superior Técnico, Universidade de Lisboa (Lisbon, Portugal), and Senior Researcher in the Automated Reasoning and Software Reliability (ARSR) group at INESC-ID. In 2024, he was Visiting Faculty at Carnegie Mellon University (USA), in the context of the CMU Portugal Visiting Faculty and Researchers Program. He holds a PhD in Computer Science, earned cum laude at the Free University of Bozen-Bolzano. He works on Business Process Management (BPM), formal methods and AI: specifically, his research focuses on AI techniques and formal methods for the verification and analysis of complex processes with data, and on multi-perspective process mining. He co-authored more than 45 referred papers accepted in a wide range of venues, including top-tier venues (both in information systems and AI) such as top-rated journals (Information Systems, Engineering Applications of Artificial Intelligence, Journal of Automated Reasoning, ACM Transactions on Computational Logic) and premier conferences like AAAI, IJCAI, IJCAR, BPM, CAiSE, ECAI and CADE: among the others, he has 6 papers in A* conferences, 13 papers in A conferences, and 5 articles in Q1 Scimago journals. He published a Springer Nature monograph titled 'Verification of Data-Aware Processes via Satisfiability Modulo Theories'. His PhD dissertation won three prestigious awards: the 2022 Best Italian PhD Thesis in Theoretical Computer Science Award, the 2022 Best BPM Dissertation Award, and the 2023 CADE Bill McCune PhD Award in Automated Reasoning. Two papers that he co-authored won the Best Paper Award (PRIMA 2020 and BPM 2021). In 2024, he was awarded the 2024 INESC-ID Best Young Researcher Award, and the ECAI 2024 Outstanding PC member award. He was/is member of the Program Committee of BPM (2023, 2024, 2025), ICPM (2024, 2025), IJCAI (2023, 2024, 2025) AAAI (2024, 2025), ECAI (2023, 2024, 2025), KR (2023, 2024, 2025), CAiSE 2025, CADE 2025 and SMT 2025. He was/is PC co-chair of EDOC 2025, co-chair of FM-BPM 2023, 2024 and 2025 (workshops co-located with the International BPM conference), co-chair of the CBI/EDOC 2024 Forum Track, publicity co-chair of AIxIA 2024 and Workshops Co-Chair of FLoC 2026. He was invited speaker at iPRA 2022, co-located with FLoC 2022. Among others, he is member of the following societies and associations: ELLIS (the European Laboratory for Learning and Intelligent Systems), SPL (Sociedade Portuguesa de Lógica), AIxIA (Italian Association for Artificial Intelligence), EATCS (European Association for Theoretical Computer Science). According to Google Scholar (13 April, 2025), his h-index is 15 and he has overall 747 citations. He is Principal Investigator of two projects: the OptiGov project (125k, FCT project) and the eProcess project (80k euros, bilateral project INESC-ID - Link Consulting). He was Work Package Leader of the Italian PRIN project ‘PINPOINT’ (~795k euros, shared by 5 Italian institutions).
Read full resume ↓
Identification

Personal identification

Full name
ALESSANDRO GIANOLA

Citation names

  • Gianola, Alessandro

Author identifiers

Ciência ID
6F1E-732B-36A2
ORCID iD
0000-0003-4216-5199

Email addresses

  • alessandro.gianola@tecnico.ulisboa.pt (Professional)
  • alessandro.gianola@inesc-id.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Mathematics - Pure Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Italian (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2017/11/01 - 2022/03/03
Concluded
 Computer Science (Dottorato di Ricerca)
Libera Università di Bolzano, Italy
"SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications" (THESIS/DISSERTATION)
 Cum Laude
2015/09/01 - 2017/07/21
Concluded
 Matematica (Laurea Magistrale)
Università degli Studi di Milano, Italy
"INTERPOLATION, AMALGAMATION AND COMBINATION" (THESIS/DISSERTATION)
 Cum Laude
2012 - 2015
Concluded
 Mathematics (Laurea)
Università degli Studi di Milano, Italy
 Cum Laude
Affiliation

Science

Category
Host institution 		Employer
2023/09/19 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2022/03/03 - 2023/09/14 Postdoc (Research) Libera Università di Bolzano, Italy

Teaching in Higher Education

Category
Host institution 		Employer
2023/09/15 - Current Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
2025/03/01 - 2026/01/31 OptiGov: Leveraging AI for Process Efficiency in Public Administration
2024.07385.IACDC
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing

Contract

Designation Funders
2024/09/02 - 2025/02/28 eProcess
COMPETE2030-FEDER-00570400
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Ongoing
2022/11/01 - 2023/09/14 exPlaInable kNowledge-aware PrOcess INTelligence (PINPOINT)
I53C21000200001
Post-doc
Libera Università di Bolzano, Italy
 Governo Italiano Ministero dell'Istruzione dell'Universita e della Ricerca
Ongoing
2021/11/01 - 2022/07/31 VERification of Business Artifacts (VERBA)
I56C18001980005
Researcher
Libera Università di Bolzano, Italy
Concluded
2019/10/01 - 2020/07/31 SMT-based Verification of Data-Aware Multi-Agent Systems (SMARTEST)
I54I19001520005
Researcher
Libera Università di Bolzano, Italy
 Libera Università di Bolzano
Concluded
Outputs

Publications

Book
  1. Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. Springer Nature Switzerland. 2023.
    Published • 10.1007/978-3-031-42746-6
Book chapter
  1. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "From Model Completeness to Verification of Data Aware Processes". In Description Logic, Theory Combination, and All That. 2019.
    Published • 10.1007/978-3-030-22102-7_10
Conference paper
  1. Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Object-centric Processes with Structured Data and Universal Synchronization: Formal Modelling and Conformance Checking". Paper presented in CAiSE 2025, 2025.
    Accepted
  2. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola. "First-order Automata". Paper presented in AAAI 2025, 2025.
    Published • https://doi.org/10.1609/aaai.v39i14.33638
  3. Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Object-Centric Conformance Alignments with Synchronization". Paper presented in CAiSE 2024, 2024.
    Published • https://doi.org/10.1007/978-3-031-61057-8_1
  4. Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata". Paper presented in AAAI 2024, 2024.
    Published • https://doi.org/10.1609/aaai.v38i9.28922
  5. Burigana, Alessandro; Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Glocal Conformance Checking". Paper presented in BPM 2024, 2024.
    Published • https://doi.org/10.1007/978-3-031-70396-6_5
  6. Fontenla-Seco, Yago; Winkler, Sarah; Gianola, Alessandro; Montali, Marco; Lama, Manuel; Bugarín-Diz, Alberto. "The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining". Paper presented in BPM 2023 (Demo), 2023.
    Published
  7. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Safety Verification and Universal Invariants for Relational Action Bases". Paper presented in IJCAI 2023, 2023.
    Published • 10.24963/ijcai.2023/362
  8. Calvanese, Diego; Gianola, Alessandro; Mazzullo, Andrea; Montali, Marco. "SMT Safety Verification of Ontology-Based Processes". Paper presented in AAAI 2023, 2023.
    Published • 10.1609/aaai.v37i5.25772
  9. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola; Winkler, Sarah. "Decidable Fragments of LTLf Modulo Theories". Paper presented in ECAI 2023, 2023.
    Published • 10.3233/FAIA230348
  10. Gianola, Alessandro; Ko, Jonghyeon ; Maggi, Fabrizio Maria; Montali, Marco; Winkler, Sarah. "Approximating Multi-perspective Trace Alignment Using Trace Encodings". Paper presented in BPM 2023, 2023.
    Published • 10.1007/978-3-031-41620-0_5
  11. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "Conformance Checking with Uncertainty via SMT". Paper presented in BPM 2022, 2022.
    Published • 10.1007/978-3-031-16103-2_15
  12. Gianola, Alessandro. "SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications". Paper presented in BPM 2022 (PhD), 2022.
    Published
  13. Gianola, Alessandro. "Uniform Interpolation for the Automated Verification of Data-Aware Business Processes". Paper presented in OVERLAY 2022, 2022.
    Published
  14. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "A Modular SMT-based Approach for Data-aware Conformance Checking". Paper presented in OVERLAY 2022, 2022.
    Published
  15. Geatti , Luca; Gianola, Alessandro; Gigante, Nicola. "Linear Temporal Logic Modulo Theories over Finite Traces". Paper presented in IJCAI 2022, 2022.
    Published • 10.24963/ijcai.2022/366
  16. Gianola, Alessandro; Gigante, Nicola. "LTL Modulo Theories over Finite Traces: modeling, verification, open questions". Paper presented in OVERLAY 2022, 2022.
    Published
  17. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN". Paper presented in BPM 2021, 2021.
    Published • 10.1007/978-3-030-85469-0_13
  18. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT". Paper presented in BPM 2021, 2021.
    Published • 10.1007/978-3-030-85469-0_15
  19. Di Lavore, Elena; Gianola, Alessandro; Román, Mario; Sabadini, Nicoletta; Sobocinski, Pawel. "A Canonical Algebra of Open Transition Systems". Paper presented in FACS 2021, 2021.
    Published • 10.1007/978-3-030-90636-8_4
  20. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "Interpolation and Amalgamation for Arrays with MaxDiff". Paper presented in FOSSACS 2021, 2021.
    Published • 10.1007/978-3-030-71995-1_14
  21. Calvanese, Diego; Gianola, Alessandro; Mazzullo, Andrea; Montali, Marco. "SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)". Paper presented in DL 2021, 2021.
    Published
  22. Castellanos Joo, José Abel; Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "AXDInterpolator: A tool for computing interpolants for arrays with MaxDiff". Paper presented in SMT 2021, 2021.
    Published
  23. Gianola, Alessandro; Montali, Marco; Papini, Matteo. "Automated reasoning for reinforcement learning agents in structured environments". Paper presented in OVERLAY 2021, 2021.
    Published
  24. Burattin, Andrea; Gianola, Alessandro; López, Hugo A.; Montali, Marco. "Exploring the conformance space (extended abstract)". Paper presented in ITBPM 2021, 2021.
    Published
  25. Felli, Paolo; Gianola, Alessandro; Montali, Marco. "SMT-based Safety Checking of Parameterized Multi-Agent Systems". Paper presented in AAAI 2021, 2021.
    Published
  26. Felli, Paolo; Gianola, Alessandro; Montali, Marco. "A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems". Paper presented in PRIMA 2020, 2020.
    Published • 10.1007/978-3-030-69322-0_17
  27. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Petri nets with parameterised data: Modelling and verification". Paper presented in BPM 2020, 2020.
    Published • 10.1007/978-3-030-58666-9_4
  28. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Combined Covers and Beth Definability". Paper presented in IJCAR 2020, 2020.
    Published • 10.1007/978-3-030-51074-9_11
  29. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "Computing uniform interpolants for EUF via (conditional) DAG-based compact representations". Paper presented in CILC 2020, 2020.
  30. Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Tini, Simone. "Compositional modeling of biological systems in cospanspan(graph)". Paper presented in ICTCS 2020, 2020.
  31. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN". Paper presented in BPM 2019, 2019.
    Published • 10.1007/978-3-030-26619-6_12
  32. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Model completeness, covers and superposition". Paper presented in CADE 2019, 2019.
    Published • 10.1007/978-3-030-29436-6_9
  33. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Verification of data-aware processes: Challenges and opportunities for automated reasoning". Paper presented in ARCADE 2019, 2019.
    10.4204/eptcs.311.9
  34. Ghilardi, Silvio; Gianola, Alessandro. "Interpolation, amalgamation and combination (the non-disjoint signatures case)". Paper presented in FroCoS 2017, 2017.
    Published • 10.1007/978-3-319-66167-4_18
  35. Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta. "Cospan/Span(Graph): An Algebra for open, reconfigurable automata networks". Paper presented in CALCO 2017, 2017.
    Published • 10.4230/LIPIcs.CALCO.2017.2
Journal article
  1. Gianola, Alessandro; Ko, Jonghyeon ; Maggi, Fabrizio Maria; Montali, Marco; Winkler, Sarah. "Approximate conformance checking: Fast computation of multi-perspective, probabilistic alignments". Information Systems 129 (2025): 102510. https://doi.org/10.1016/j.is.2024.102510.
    Published • 10.1016/j.is.2024.102510
  2. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "Multi-perspective conformance checking of uncertain process traces: An SMT-based approach". Engineering Applications of Artificial Intelligence 126 (2023): https://doi.org/10.1016/j.engappai.2023.106895.
    Published • 10.1016/j.engappai.2023.106895
  3. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak; Naso, Chiara. "Interpolation Results for Arrays with Length and MaxDiff". ACM Transactions on Computational Logic 24 4 (2023): https://doi.org/10.1145/3587161.
    Published • 10.1145/3587161
  4. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "Data-aware conformance checking with SMT". Information Systems 117 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85162165368&partnerID=MN8TOARS.
    Published • 10.1016/j.is.2023.102230
  5. Di Lavore, Elena; Gianola, Alessandro; Román, Mario; Sabadini, Nicoletta; Sobocinski, Pawel. "Span(Graph): a canonical feedback algebra of open transition systems". Software and Systems Modeling 22 2 (2023): 495-520. http://www.scopus.com/inward/record.url?eid=2-s2.0-85150476245&partnerID=MN8TOARS.
    Published • 10.1007/s10270-023-01092-7
  6. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Petri net-based object-centric processes with read-only data". Information Systems 107 (2022): https://doi.org/10.1016/j.is.2022.102011.
    Published • 10.1016/j.is.2022.102011
  7. Ghilardi, Silvio; Gianola, Alessandro. "Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories". Mathematics 10 3 (2022): 461-461. https://doi.org/10.3390/math10030461.
    10.3390/math10030461
  8. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Combination of Uniform Interpolants via Beth Definability". Journal of Automated Reasoning 66 3 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85123999459&partnerID=MN8TOARS.
    Published • 10.1007/s10817-022-09627-1
  9. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS". Logical Methods in Computer Science 18 2 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85123993339&partnerID=MN8TOARS.
    Published • 10.46298/LMCS-18(2:2)2022
  10. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Model Completeness, Uniform Interpolants and Superposition Calculus: (With Applications to Verification of Data-Aware Processes)". Journal of Automated Reasoning 65 7 (2021): 941-969. http://www.scopus.com/inward/record.url?eid=2-s2.0-85114277554&partnerID=MN8TOARS.
    Published • 10.1007/s10817-021-09596-x
  11. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "SMT-based verification of data-aware processes: a model-theoretic approach". Mathematical Structures in Computer Science 30 3 (2020): 1-43. https://doi.org/10.1017/S0960129520000067.
    Published • 10.1017/S0960129520000067
  12. Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone. "CospanSpan(Graph): A Compositional Description of the Heart System". Fundamenta Informaticae 171 1-4 (2019): 221-237. http://www.scopus.com/inward/record.url?eid=2-s2.0-85075876018&partnerID=MN8TOARS.
    Published • 10.3233/FI-2020-1880
  13. Ghilardi, Silvio; Gianola, Alessandro. "Modularity results for interpolation, amalgamation and superamalgamation". Annals of Pure and Applied Logic 169 8 (2018): 731-754. http://www.scopus.com/inward/record.url?eid=2-s2.0-85044938055&partnerID=MN8TOARS.
    Published • 10.1016/j.apal.2018.04.001

Other

Other output
  1. Decidable Fragments of LTLf Modulo Theories (Extended Version). 2023. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola; Winkler, Sarah. http://www.scopus.com/inward/record.url?eid=2-s2.0-85168629437&partnerID=MN8TOARS.
    10.48550/arXiv.2307.16840
  2. General Interpolation and Strong Amalgamation for Contiguous Arrays. 2022. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak; Naso, Chiara. http://www.scopus.com/inward/record.url?eid=2-s2.0-85129585055&partnerID=MN8TOARS.
    10.48550/arxiv.2204.11771
  3. Conformance Checking with Uncertainty via SMT (Extended Version). 2022. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. http://www.scopus.com/inward/record.url?eid=2-s2.0-85132896430&partnerID=MN8TOARS.
    10.48550/arXiv.2206.07461
  4. Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version). 2022. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola. http://www.scopus.com/inward/record.url?eid=2-s2.0-85132497707&partnerID=MN8TOARS.
    10.48550/arXiv.2204.13693
  5. Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). 2022. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. http://www.scopus.com/inward/record.url?eid=2-s2.0-85136240158&partnerID=MN8TOARS.
    10.48550/arXiv.2208.06377
  6. SMT-Based safety verification of data-aware processes under ontologies (Extended Version). 2021. Calvanese, Diego; Gianola, Alessandro; Mazzullo, Andrea; Montali, Marco. http://www.scopus.com/inward/record.url?eid=2-s2.0-85169740319&partnerID=MN8TOARS.
    10.48550/arxiv.2108.12330
  7. CoCoMoT: Conformance checking of multi-perspective processes via SMT (extended version). 2021. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. http://www.scopus.com/inward/record.url?eid=2-s2.0-85169736293&partnerID=MN8TOARS.
    10.48550/arxiv.2103.10507
  8. Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). 2020. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. http://www.scopus.com/inward/record.url?eid=2-s2.0-85095323221&partnerID=MN8TOARS.
  9. Formal modeling and smt-based parameterized verification of multi-case data-aware BPMN. 2019. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. http://www.scopus.com/inward/record.url?eid=2-s2.0-85170330793&partnerID=MN8TOARS.
    10.48550/arxiv.1905.12991
  10. Verification of Data-Aware processes via array-based systems (Extended Version). 2018. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. http://www.scopus.com/inward/record.url?eid=2-s2.0-85093182421&partnerID=MN8TOARS.
  11. Quantifier elimination for database driven verification. 2018. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. http://www.scopus.com/inward/record.url?eid=2-s2.0-85092970426&partnerID=MN8TOARS.
    10.48550/arxiv.1806.09686
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023 Safety Verification and Universal Invariants for Relational Action Bases 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)
(Macau SAR China)
2023 Formal Specification of Business Processes in LTL Modulo Theories over Finite Traces First International Workshop on Formal Methods in Business Process Management (FM-BPM 2023), co-located with BPM 2023
(Utrecht, Netherlands)
2022 Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems iPRA 2022 - – the 4th Workshop on Interpolation: From Proofs to Applications, a FLoC 2022 workshop affiliated with IJCAR 2022
FLoC (Haifa, Israel)
2022 A Modular SMT-based Approach for Data-aware Conformance Checking 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2022) - colocated with AIxIA 2022
OVERLAY (Udine, Italy)
2022 Uniform Interpolation for the Automated Verification of Data-Aware Business Processes 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2022) - colocated with AIxIA 2022
OVERLAY (Udine, Italy)
2022 Combination of Quantifier-Free Uniform Interpolants using Beth Definability (Abridged Version) 10th International Conference on Topology, Algebra and Categories in Logic (TACL 2022)
(Coimbra, Portugal)
2021 Interpolation and Amalgamation for Arrays with MaxDiff 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021)
2021 Automated Reasoning for Reinforcement Learning Agents in Structured Environments 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2021)
(Padova, Italy)
2021 Toward a Compositional Verification of Data-Aware Processes via CospanSpan(Graph) TalCat seminars - Tallinn University of Technology (TalTech)
(Tallin, Estonia)
2020 Combined Covers and Beth Definability 10th International Joint Conference on Automated Reasoning (IJCAR 2020)
2020 Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 35th Italian Conference on Computational Logic (CILC 2020)
(Rende, Italy)
2020 Automatic Verification of Database-powered Workflows UCSD Database Lab Research Seminar - University of California San Diego
(San Diego, United States)
2020 Towards a compositional, SMT-based verification of data-aware processes MIT (Applied) Categories Seminar - Massachusetts Institute of Technology
(Boston, United States)
2019 Model Completeness, Covers and Superposition 27th International Conference on Automated Deduction (CADE 27)
(Natal, Brazil)
2019 Model Completeness, Covers and Superposition (Abridged Version) 34th Italian Conference on Computational Logic (CILC 2019)
(Trieste, Italy)
2018 Verification of Data-Aware Processes via Array-Based Systems (Abridged Version) 33rd Italian Conference on Computational Logic (CILC 2018)
(Bolzano)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023 - Current 'Analysis of Business Process Models via Petri Net formalisms' - tentative tite
Co-supervisor
 Computer Science (Master)
Libera Università di Bolzano, Italy
2021 - 2021 Interpolation and Amalgam for Arrays
Co-supervisor
 Mathematics (Master)
Università degli Studi di Milano, Italy
2018 - 2019 An SMT-based formalization of data-aware BPMN
Co-supervisor
 Computer Science (Degree)
Libera Università di Bolzano, Italy
2018 - 2019 Extending the ePNK Petri Net Framework towards DB-Net support.
Co-supervisor
 Computer Science (Degree)
Libera Università di Bolzano, Italy

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023 - Current 2nd International Workshop on Formal Methods for Business Process Management (FM-BPM 2024), colocated with BPM 2024 - co-chair and co-organizer (2024)
Workshop (Co-organisor)
2025 - 2025 EDOC 2025 Program Committee Co-Chair (2025 - 2025)
Conference (Co-organisor)
2024 - 2024 Co-Chair of the Forum of the 2024 CBI/EDOC conferences (2024 - 2024)
Conference (Co-organisor)
2024 - 2024 Publicity Co-Chair of the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) (2024 - 2024)
Conference (Member of the Organising Committee)
 Associazione Italiana per l'Intelligenza Artificiale (AIxIA), Italy
2023 - 2023 5th Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023) workshop, co-located with AIxIA 2023 (2023 - 2023)
Workshop (Co-organisor)
2022 - 2023 1st International Workshop on Formal Methods for Business Process Management (FM-BPM 2023), colocated with BPM 2023 - co-chair and co-organizer (2023 - 2023)
Workshop (Co-organisor)
2021 - 2022 4th International Conference on Process Mining (ICPM 2022), Bolzano, Italy - member of the local organizing committee (2022 - 2022)
Conference (Member of the Organising Committee)
 Libera Università di Bolzano, Italy

Ad Hoc journal article review

Journal title (ISSN) Publisher
2023 - Current BISE - Business & Information Systems Engineering
2023 - Current Journal of Logical and Algebraic Methods in Programming Elsevier
2023 - 2023 AI Communications
2023 - 2023 EAAI - Engineering Applications of Artificial Intelligence Elsevier
2023 - 2023 Journal of Applied Non-Classical Logics
2022 - 2023 JAIR - Journal of Artificial Intelligence Research
2021 - 2023 Journal of Automated Reasoning Springer
2022 - 2022 Bulletin of the Section of Logic
2020 - 2020 Theoretical Computer Science Elsevier

Association member

Society Organization name Role
2024 - Current Sociedade Portuguesa de Lógica (SPL) Member
2024 - Current ELLIS (European Laboratory for Learning and Intelligent Systems) Member
2023/09 - Current AILA - Associazione Italiana di Logica e sue Applicazioni (Italian Association for Logic and its Applications) Member
2022 - Current OVERLAY (fOrmal VERification, Logic, Automata, and sYnthesis) group - research group on Formal Methods for AI, which fosters the collaboration among a diverse team of Italian researchers in the fields of Formal Methods and Artificial Intelligence, aiming at pursuing multidisciplinary research at the border of the two fields. Member
2022 - Current AIxIA - Associazione Italiana per l'Intelligenza Artificiale (Italian Association for Artificial Intelligenza) Member
2022 - 2023 EATCS (European Association for Theoretical Computer Science) and the Italian Chapter of EATCS Member
2019 - 2020 GULP - Gruppo Ricercatori e Utenti Logic Programming (Group of Logic Programming Researchers and Users) Member

Conference scientific committee

Conference name Conference host
2024 - 2024 22nd International Conference on Business Process Management (BPM 2024) Krakow, Poland
2024 - 2024 38th AAAI Conference on Artificial Intelligence (AAAI-24) Vancouver, Canada
2024 - 2024 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024) Jeju, South Korea
2024 - 2024 27th European Conference on Artificial Intelligence (ECAI 2024) Santiago de Compostela, Spain
2024 - 2024 6th International Conference on Process Mining (ICPM 2024)
2023 - 2023 21st International Conference on Business Process Management (BPM 2023) Utrecht, Netherlands
2023 - 2023 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) Macao, S.A.R.
2023 - 2023 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) Rhodes, Greece
2023 - 2023 26th European Conference on Artificial Intelligence (ECAI 2023) Krakow, Poland

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2023 - 2024 Course on Information Systems and Databases - 1st semester academic year 2023/2024 - Lab Lecturer (2 shifts) Data Science, Electrical and Computer Engineering, Biomedical Engineering (Master) Universidade de Lisboa Instituto Superior Técnico, Portugal
2023 - 2023 Course on Data and Process Modeling - 2nd semester academic year 2022/2023 - Lab Instructor Business Informatics (Laurea) Libera Università di Bolzano, Italy
2023 - 2023 Course on Advanced Statistics - 2nd semester academic year 2022/2023 - Lab Instructor Computational Data Science (Laurea Magistrale) Libera Università di Bolzano, Italy
2022 - 2023 Preparatory Course in Mathematics - 1st semester academic year 2022/2023 - Lecturer Computer Science and Business Informatics (Laurea) Libera Università di Bolzano, Italy
2022 - 2022 Course on Advanced Statistics - 2nd semester academic year 2021/2022 - Lab Instructor Computational Data Science (Laurea Magistrale) Libera Università di Bolzano, Italy
2019 - 2020 Course on Probability Theory and Statistics - 1st semester academic year 2019/2020 - Teaching Assistant Computer Science (Laurea) Libera Università di Bolzano, Italy

Journal scientific committee

Journal title (ISSN) Publisher
2023 - Current Data & Knowledge Engineering - Guest Editor for Special Issue Elsevier

Other jury / evaluation

Activity description Institution / Organization
2024 - Current International Reviewer of PhD Dissertation by Yago Fontenla-Seco, University of Santiago de Compostela - 2024 Universidade de Santiago de Compostela, Spain
Distinctions

Award

2024 ECAI 2024 Outstanding PC Member Award
27th European Conference on Artificial Intelligence (ECAI 2024), Spain
2024 2024 INESC-ID Best Young Researcher Award
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2023 CADE Bill McCune PhD Award in Automated Reasoning
CADE Inc., United States
2022 Best BPM Dissertation Award
BPM Association, Germany
2022 Best Italian PhD Thesis in Theoretical Computer Science Award
Italian Chapter of EATCS, Italy
2021 Best Paper Award at BPM 2021
BPM Association, Germany
2020 Best Paper Award at PRIMA 2020
PRIMA 2020 conference, Japan

Other distinction

2024 CMU Portugal Visiting Faculty and Researchers Program
Fundação para a Ciência e a Tecnologia, Portugal

Carnegie Mellon University Portugal Office, Portugal