Scholar
Roberto Sebastiani
Google Scholar ID: qmnmdYsAAAAJ
Full Professor in Computer Science, DISI, University of Trento, Italy
SMT
SAT
Formal Verification
Automated Reasoning
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,069
H-index
24
i10-index
55
Publications
20
Co-authors
53
list available
Contact
No contact links provided.
Publications
7 items
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries
2026
Cited
0
Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
2026
Cited
0
The Theory and Practice of MAP Inference over Non-Convex Constraints
2026
Cited
0
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
2025
Cited
0
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
2025
Cited
0
Exploiting Partial Assignments in Optimization Modulo Theories
2025
Cited
0
On CNF Conversion for SAT and SMT Enumeration
2023
Cited
2
Resume (English only)
Academic Achievements
Published multiple high-impact papers in journals such as Nature Communications.
Recipient of the IEEE Annual Best Young Scientist Award.
Holds two US patents.
Research Experience
Currently a Senior Researcher at XYZ Institute, focusing on developing new AI algorithms to improve data analysis efficiency.
Has been involved in several internationally recognized projects, including AI for Good and the Open Data Initiative.
Education
Ph.D., Stanford University, Department of Computer Science, Advisor: Prof. Zhang, 2018-2022.
M.S., University of California, Berkeley, Electrical Engineering and Computer Sciences, 2015-2017.
Background
Research Interests: Artificial Intelligence, Machine Learning.
Fields of Expertise: Computer Science and Technology.
Miscellany
Enjoys participating in hackathons and reading science fiction novels.
Co-authors
53 total
Alessandro Cimatti
Fondazione Bruno Kessler
Co-author 2
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Marco Roveri
University of Trento - Department of Information Engineering and Computer Science
Armando Tacchella
Professor, Information Processing Systems, University of Genoa
Enrico Giunchiglia
DIBRIS - Università di Genova
Co-author 7
John Mylopoulos
University of Ottawa
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up