Alessandro Gianola (Preferred)
Alessandro Gianola
Pronouns: he/him
Assistant Professor, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
Researcher, INESC-ID
- Joined June 2024
Names
Emails
****@tecnico.ulisboa.pt (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa (tecnico.ulisboa.pt)
2023 – Present
Researcher
INESC-ID (inesc-id.pt)
2023 – Present
Postdoc
Faculty of Engineering, Free University of Bozen-Bolzano (unibz.it)
2022 – 2023
PhD student
Faculty of Computer Science, Free University of Bozen-Bolzano (unibz.it)
2017 – 2022
MS student
Department of Mathematics, University of Milan (unimi.it)
2015 – 2017
Advisors, Relations & Conflicts
Coworker
José Fragoso Santos
2023 – Present
Coworker
Pedro T. Monteiro
2023 – Present
Coauthor
Simone Tini
2020 – Present
PhD Advisor
Silvio Ghilardi
2016 – Present
Coauthor
Stefano Kasangian
2016 – Present
Coauthor
Nicoletta Sabadini
2016 – Present
Expertise
formal methods, formal verification, model checking
Present
SMT solving
Present
business process management, process mining
Present
Symbolic AI, Knowledge Representation
Present