Roberto Sebastiani
Roberto Sebastiani
Full Professor, DISI, University of Trento
Joined
July 2019
Names
Emails
****@unitn.it (Confirmed)
Personal Links
Career & Education History
Full Professor
DISI, University of Trento (unitn.it)
2022 – Present
Advisors, Relations & Conflicts
PhD Advisee
Gabriele Masina
Present
Coauthor
Sibylle Moehle
Present
Coauthor
Yogev Shalmon
Present
Coauthor
Enrico Lipparini
Present
Expertise
Automated reasoning
Present
Formal methods
Present
Quantum annealing
Present
SAT
Present
SMT
Present
Publications
Co-Authors
- Adolfo Villafiorita
- Ahmed Irfan
- Aidan Roy
- Alan Bundy
- Alberto Griggio
- Alessandro Cimatti
- Alessandro Massarotto
- Alessandro Santuari
- Alessandro Tomasi
- Alexander Nadel
- Amit Palti
- Anders Franzén
- Andrea Passerini
- Angelo Chiappini
- Antonio Vergari
- Armando Tacchella
- Armin Biere
- Artur Kornilowicz
- Bastiaan Joost Schaafsma
- Byron Cook
- Carmen Porzia
- Cesare Tinelli
- Chi Mai Nguyen
- Clark W. Barrett
- Cristian Stenico