Roberto Sebastiani
Roberto Sebastiani
- Joined July 2019
Names
Emails
****@unitn.it (Confirmed)
Personal Links
Education & Career History
Full Professor
University of Trento (unitn.it)
2021 – 2022
Advisors, Relations & Conflicts
PhD Advisor
Gabriele Masina
Present
Expertise
Automated reasoning
Present
Formal methods
Present
Quantum annealing
Present