Alessandro Gianola

Alessandro Gianola is a Tenure Track Assistant Professor at the Department of Computer Engineering, College of Engineering, University of Lisbon, and a Senior Researcher at INESC-ID. He earned a PhD in Computer Science cum laude from the Free University of Bozen-Bolzano.

• Research Focus: Business Process Management, formal methods, AI verification of data-aware processes, multi-perspective process mining, and constraint-based reasoning.
• Awards: ECAI 2024 Outstanding PC Member, 2024 INESC-ID Best Young Researcher, 2023 CADE Bill McCune PhD Award, and multiple best paper awards.
• Education: PhD in Computer Science (Free University of Bozen-Bolzano, 2022).

His recent publications analyze data-aware processes using SMT techniques, with applications in conformance checking, model checking, and formal verification. He leads projects like FCT OptiGov and INESC-ID eProcess.

Conference Leadership: PC Co-chair for EDOC 2025, Workshops Co-chair for FLoC 2026, and co-chair for multiple FM-BPM workshops.

Research Groups: ELLIS, LUMLIS, ARSR, OVERLAY, and former KRDB Research Centre.