Alessandro Gianola (Preferred)
Alessandro Gianola
Pronouns: he/him
Assistant Professor, Departamento de Engenharia Informática, Instituto Superior Técnico
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 (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
Advisors, Relations & Conflicts
Expertise
formal methods, formal verification, model checking
Present
SMT solving
Present
business process management, process mining
Present
Symbolic AI, Knowledge Representation
Present