Alessandro Gianola is Assistant Professor at the Instituto Superior Técnico (University of Lisbon) and senior researcher at INESC-ID. He works on formal methods and Business Process Management (BPM). He has co-authored more than 40 refereed publications, including articles in journals like the Journal of Automated Reasoning and Information Systems, and conference papers at AAAI, IJCAI, BPM, IJCAR, and CADE. His PhD dissertation won 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.

Formal Verification, Busines Process Management, SMT, Model Checking, Computational Logic, Artificial Intelligence, Process Mining