???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 50 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, 15 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 (7 July, 2025), his h-index is 16. 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).
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
ALESSANDRO GIANOLA

Nomes de citação

  • Gianola, Alessandro

Identificadores de autor

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

Endereços de correio eletrónico

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

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Matemática - Matemática Pura

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Italiano (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2017/11/01 - 2022/03/03
Concluído
 Computer Science (Dottorato di Ricerca)
Libera Università di Bolzano, Itália
"SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications" (TESE/DISSERTAÇÃO)
 Cum Laude
2015/09/01 - 2017/07/21
Concluído
 Matematica (Laurea Magistrale)
Università degli Studi di Milano, Itália
"INTERPOLATION, AMALGAMATION AND COMBINATION" (TESE/DISSERTAÇÃO)
 Cum Laude
2012 - 2015
Concluído
 Mathematics (Laurea)
Università degli Studi di Milano, Itália
 Cum Laude
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09/19 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2022/03/03 - 2023/09/14 Pós-doutorado (Investigação) Libera Università di Bolzano, Itália

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09/15 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Bolsa

Designação Financiadores
2025/03/01 - 2026/01/31 OptiGov: Leveraging AI for Process Efficiency in Public Administration
2024.07385.IACDC
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso

Projeto

Designação Financiadores
2024/09/02 - 2025/02/28 eProcess
COMPETE2030-FEDER-00570400
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
2022/11/01 - 2023/09/14 exPlaInable kNowledge-aware PrOcess INTelligence (PINPOINT)
I53C21000200001
Investigador Pós-doutorado
Libera Università di Bolzano, Itália
 Governo Italiano Ministero dell'Istruzione dell'Universita e della Ricerca
Em curso
2021/11/01 - 2022/07/31 VERification of Business Artifacts (VERBA)
I56C18001980005
Investigador
Libera Università di Bolzano, Itália
Concluído
2019/10/01 - 2020/07/31 SMT-based Verification of Data-Aware Multi-Agent Systems (SMARTEST)
I54I19001520005
Investigador
Libera Università di Bolzano, Itália
 Libera Università di Bolzano
Concluído
Produções

Publicações

Artigo em conferência
  1. Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Object-centric Processes with Structured Data and Universal Synchronization: Formal Modelling and Conformance Checking". Trabalho apresentado em CAiSE 2025, 2025.
    Aceite para publicação
  2. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola. "First-order Automata". Trabalho apresentado em AAAI 2025, 2025.
    Publicado • https://doi.org/10.1609/aaai.v39i14.33638
  3. Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Object-Centric Conformance Alignments with Synchronization". Trabalho apresentado em CAiSE 2024, 2024.
    Publicado • 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". Trabalho apresentado em AAAI 2024, 2024.
    Publicado • https://doi.org/10.1609/aaai.v38i9.28922
  5. Burigana, Alessandro; Gianola, Alessandro; Montali, Marco; Winkler, Sarah. "Glocal Conformance Checking". Trabalho apresentado em BPM 2024, 2024.
    Publicado • 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". Trabalho apresentado em BPM 2023 (Demo), 2023.
    Publicado
  7. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Safety Verification and Universal Invariants for Relational Action Bases". Trabalho apresentado em IJCAI 2023, 2023.
    Publicado • 10.24963/ijcai.2023/362
  8. Calvanese, Diego; Gianola, Alessandro; Mazzullo, Andrea; Montali, Marco. "SMT Safety Verification of Ontology-Based Processes". Trabalho apresentado em AAAI 2023, 2023.
    Publicado • 10.1609/aaai.v37i5.25772
  9. Geatti, Luca; Gianola, Alessandro; Gigante, Nicola; Winkler, Sarah. "Decidable Fragments of LTLf Modulo Theories". Trabalho apresentado em ECAI 2023, 2023.
    Publicado • 10.3233/FAIA230348
  10. Gianola, Alessandro; Ko, Jonghyeon ; Maggi, Fabrizio Maria; Montali, Marco; Winkler, Sarah. "Approximating Multi-perspective Trace Alignment Using Trace Encodings". Trabalho apresentado em BPM 2023, 2023.
    Publicado • 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". Trabalho apresentado em BPM 2022, 2022.
    Publicado • 10.1007/978-3-031-16103-2_15
  12. Gianola, Alessandro. "SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications". Trabalho apresentado em BPM 2022 (PhD), 2022.
    Publicado
  13. Gianola, Alessandro. "Uniform Interpolation for the Automated Verification of Data-Aware Business Processes". Trabalho apresentado em OVERLAY 2022, 2022.
    Publicado
  14. Felli, Paolo; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey; Winkler, Sarah. "A Modular SMT-based Approach for Data-aware Conformance Checking". Trabalho apresentado em OVERLAY 2022, 2022.
    Publicado
  15. Geatti , Luca; Gianola, Alessandro; Gigante, Nicola. "Linear Temporal Logic Modulo Theories over Finite Traces". Trabalho apresentado em IJCAI 2022, 2022.
    Publicado • 10.24963/ijcai.2022/366
  16. Gianola, Alessandro; Gigante, Nicola. "LTL Modulo Theories over Finite Traces: modeling, verification, open questions". Trabalho apresentado em OVERLAY 2022, 2022.
    Publicado
  17. Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN". Trabalho apresentado em BPM 2021, 2021.
    Publicado • 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". Trabalho apresentado em BPM 2021, 2021.
    Publicado • 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". Trabalho apresentado em FACS 2021, 2021.
    Publicado • 10.1007/978-3-030-90636-8_4
  20. Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "Interpolation and Amalgamation for Arrays with MaxDiff". Trabalho apresentado em FOSSACS 2021, 2021.
    Publicado • 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)". Trabalho apresentado em DL 2021, 2021.
    Publicado
  22. Castellanos Joo, José Abel; Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak. "AXDInterpolator: A tool for computing interpolants for arrays with MaxDiff". Trabalho apresentado em SMT 2021, 2021.
    Publicado
  23. Gianola, Alessandro; Montali, Marco; Papini, Matteo. "Automated reasoning for reinforcement learning agents in structured environments". Trabalho apresentado em OVERLAY 2021, 2021.
    Publicado
  24. Burattin, Andrea; Gianola, Alessandro; López, Hugo A.; Montali, Marco. "Exploring the conformance space (extended abstract)". Trabalho apresentado em ITBPM 2021, 2021.
    Publicado
  25. Felli, Paolo; Gianola, Alessandro; Montali, Marco. "SMT-based Safety Checking of Parameterized Multi-Agent Systems". Trabalho apresentado em AAAI 2021, 2021.
    Publicado
  26. Felli, Paolo; Gianola, Alessandro; Montali, Marco. "A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems". Trabalho apresentado em PRIMA 2020, 2020.
    Publicado • 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". Trabalho apresentado em BPM 2020, 2020.
    Publicado • 10.1007/978-3-030-58666-9_4
  28. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Combined Covers and Beth Definability". Trabalho apresentado em IJCAR 2020, 2020.
    Publicado • 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". Trabalho apresentado em CILC 2020, 2020.
  30. Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Tini, Simone. "Compositional modeling of biological systems in cospanspan(graph)". Trabalho apresentado em 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". Trabalho apresentado em BPM 2019, 2019.
    Publicado • 10.1007/978-3-030-26619-6_12
  32. Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey. "Model completeness, covers and superposition". Trabalho apresentado em CADE 2019, 2019.
    Publicado • 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". Trabalho apresentado em ARCADE 2019, 2019.
    10.4204/eptcs.311.9
  34. Ghilardi, Silvio; Gianola, Alessandro. "Interpolation, amalgamation and combination (the non-disjoint signatures case)". Trabalho apresentado em FroCoS 2017, 2017.
    Publicado • 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". Trabalho apresentado em CALCO 2017, 2017.
    Publicado • 10.4230/LIPIcs.CALCO.2017.2
Artigo em revista
  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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 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.
    Publicado • 10.1016/j.apal.2018.04.001
Capítulo de livro
  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.
    Publicado • 10.1007/978-3-030-22102-7_10
Livro
  1. Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. Springer Nature Switzerland. 2023.
    Publicado • 10.1007/978-3-031-42746-6

Outros

Outra produção
  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
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023 Safety Verification and Universal Invariants for Relational Action Bases 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)
(Macau)
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, Países Baixos)
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, Itália)
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, Itália)
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, Itália)
2021 Toward a Compositional Verification of Data-Aware Processes via CospanSpan(Graph) TalCat seminars - Tallinn University of Technology (TalTech)
(Tallin, Estónia)
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, Itália)
2020 Automatic Verification of Database-powered Workflows UCSD Database Lab Research Seminar - University of California San Diego
(San Diego, Estados Unidos)
2020 Towards a compositional, SMT-based verification of data-aware processes MIT (Applied) Categories Seminar - Massachusetts Institute of Technology
(Boston, Estados Unidos)
2019 Model Completeness, Covers and Superposition 27th International Conference on Automated Deduction (CADE 27)
(Natal, Brasil)
2019 Model Completeness, Covers and Superposition (Abridged Version) 34th Italian Conference on Computational Logic (CILC 2019)
(Trieste, Itália)
2018 Verification of Data-Aware Processes via Array-Based Systems (Abridged Version) 33rd Italian Conference on Computational Logic (CILC 2018)
(Bolzano)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - Atual 'Analysis of Business Process Models via Petri Net formalisms' - tentative tite
Coorientador
 Computer Science (Mestrado)
Libera Università di Bolzano, Itália
2021 - 2021 Interpolation and Amalgam for Arrays
Coorientador
 Mathematics (Mestrado)
Università degli Studi di Milano, Itália
2018 - 2019 An SMT-based formalization of data-aware BPMN
Coorientador
 Computer Science (Licenciatura/Bacharelato)
Libera Università di Bolzano, Itália
2018 - 2019 Extending the ePNK Petri Net Framework towards DB-Net support.
Coorientador
 Computer Science (Licenciatura/Bacharelato)
Libera Università di Bolzano, Itália

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2023 - Atual 2nd International Workshop on Formal Methods for Business Process Management (FM-BPM 2024), colocated with BPM 2024 - co-chair and co-organizer (2024)
Oficina (workshop) (Coorganizador)
2025 - 2025 EDOC 2025 Program Committee Co-Chair (2025 - 2025)
Conferência (Coorganizador)
2024 - 2024 Co-Chair of the Forum of the 2024 CBI/EDOC conferences (2024 - 2024)
Conferência (Coorganizador)
2024 - 2024 Publicity Co-Chair of the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) (2024 - 2024)
Conferência (Membro da Comissão Organizadora)
 Associazione Italiana per l'Intelligenza Artificiale (AIxIA), Itália
2023 - 2023 5th Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2023) workshop, co-located with AIxIA 2023 (2023 - 2023)
Oficina (workshop) (Coorganizador)
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)
Oficina (workshop) (Coorganizador)
2021 - 2022 4th International Conference on Process Mining (ICPM 2022), Bolzano, Italy - member of the local organizing committee (2022 - 2022)
Conferência (Membro da Comissão Organizadora)
 Libera Università di Bolzano, Itália

Arbitragem científica em conferência

Nome da conferência Local da conferência
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

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2023 - Atual Data & Knowledge Engineering - Guest Editor for Special Issue Elsevier

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
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, Itália
2023 - 2023 Course on Advanced Statistics - 2nd semester academic year 2022/2023 - Lab Instructor Computational Data Science (Laurea Magistrale) Libera Università di Bolzano, Itália
2022 - 2023 Preparatory Course in Mathematics - 1st semester academic year 2022/2023 - Lecturer Computer Science and Business Informatics (Laurea) Libera Università di Bolzano, Itália
2022 - 2022 Course on Advanced Statistics - 2nd semester academic year 2021/2022 - Lab Instructor Computational Data Science (Laurea Magistrale) Libera Università di Bolzano, Itália
2019 - 2020 Course on Probability Theory and Statistics - 1st semester academic year 2019/2020 - Teaching Assistant Computer Science (Laurea) Libera Università di Bolzano, Itália

Membro de associação

Nome da associação Tipo de participação
2024 - Atual Sociedade Portuguesa de Lógica (SPL) Member
2024 - Atual ELLIS (European Laboratory for Learning and Intelligent Systems) Member
2023/09 - Atual AILA - Associazione Italiana di Logica e sue Applicazioni (Italian Association for Logic and its Applications) Member
2022 - Atual 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 - Atual 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

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2024 - Atual International Reviewer of PhD Dissertation by Yago Fontenla-Seco, University of Santiago de Compostela - 2024 Universidade de Santiago de Compostela, Espanha

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2023 - Atual BISE - Business & Information Systems Engineering
2023 - Atual 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
Distinções

Prémio

2024 ECAI 2024 Outstanding PC Member Award
27th European Conference on Artificial Intelligence (ECAI 2024), Espanha
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., Estados Unidos
2022 Best BPM Dissertation Award
BPM Association, Alemanha
2022 Best Italian PhD Thesis in Theoretical Computer Science Award
Italian Chapter of EATCS, Itália
2021 Best Paper Award at BPM 2021
BPM Association, Alemanha
2020 Best Paper Award at PRIMA 2020
PRIMA 2020 conference, Japão

Outra distinção

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

Carnegie Mellon University Portugal Office, Portugal