Alessandro Gianola (Preferred)
Alessandro Gianola
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
Publications
Co-Authors
- Alberto José Bugarín Diz
- Alessandro Burigana
- Andrea Burattin
- Andrea Mazzullo
- Andrey Rivkin
- Chiara Naso
- Deepak Kapur
- Desiree Manicardi
- Diego Calvanese
- Elena Di Lavore
- Fabrizio Maria Maggi
- Fausto Lasca
- Filippo Schiavio
- Hugo A. López
- Jonghyeon Ko
- José Abel Castellanos Joo
- Luca Geatti
- Manuel Lama Penín
- Marco Montali
- Mario Román
- Matteo Papini
- Nicola Gigante
- Nicoletta Sabadini
- Paolo Felli
- Pawel Sobocinski