Scholar
Alessandro Gianola
Google Scholar ID: 7D8gWSUAAAAJ
INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
Citations & Impact
Citations
830
H-index
18
i10-index
25
Publications
20
Co-authors
14
list available
Publications
Resume (English only)
Academic Achievements
- Authored over 50 peer-reviewed publications in top journals (e.g., Information Systems, Journal of Automated Reasoning, Engineering Applications of Artificial Intelligence) and premier conferences (e.g., AAAI, IJCAI, BPM, IJCAR, ECAI, CAiSE, CADE).
- Published a Springer Nature monograph titled ‘Verification of Data-Aware Processes via Satisfiability Modulo Theories’.
- PhD dissertation awarded three prestigious prizes: 2022 Best Italian PhD Thesis in Theoretical Computer Science, 2022 Best BPM Dissertation Award, and 2023 CADE Bill McCune PhD Award in Automated Reasoning.
- Co-authored two papers that received Best Paper Awards at PRIMA 2020 and BPM 2021.
- Received the ECAI 2024 Outstanding PC Member Award (top 2–3% of PC members).
- Awarded the 2024 INESC-ID Best Young Researcher prize for researchers who completed their PhD within the past six years.
Research Experience
- Tenure-Track Auxiliary Professor at Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa (Lisbon, Portugal).
- Senior Researcher at INESC-ID.
- Principal Investigator (PI) of two projects: FCT project OptiGov (€125k) and INESC-ID eProcess (bilateral project with Link Consulting, €80k).
- Served as Program Committee member for top-tier conferences including BPM, ECAI, IJCAI, AAAI, KR, ICPM, CAiSE, and CADE across multiple years.
- Held leadership roles such as PC co-chair of EDOC 2025, workshops co-chair of FLoC 2026, Proceedings co-chair of ECAI 2025, co-chair of CBI/EDOC Forum 2024, and co-chair of FM-BPM workshops (2023–2025).
