Alessandro Gianola

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.

Interesses científicos

Área de Especialização (FOS)

Ciências da Computação e da Informação

Perfis externos

Produção científica

Co-autores

Consulte todos os autores que colaboraram com este autor.

A carregar…

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username

Loading Name

Loading username