Alessandro Gianola is Assistant Professor at the Instituto Superior Técnico, Lisbon. 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.

Research interests

Field of Research (FOS)

Computer and information sciences

External profiles

DBLP: homepages/205/3445
ORCID: 0000-0003-4216-5199

Scientific production

Co-authors

Look up all authors that collaborated with this author.

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username