Roberto Sebastiani
Roberto Sebastiani
Pronouns: he/him
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