World's Best Scientists 2026 revealed!
Roberto Sebastiani

Roberto Sebastiani

Award Badge
Computer Science
Italy
2025

D-Index & Metrics

Computer Science

D-Index
50
Citations
11323
World Ranking
5570
National Ranking
124

Research.com Recognitions

  • 2025 - Research.com Computer Science in Italy Leader Award
  • 2022 - Research.com Computer Science in Italy Leader Award

Overview

Roberto Sebastiani is affiliated with the University of Trento in Italy and specializes in computer science, with a focus on artificial intelligence, computational theory and mathematics, software, electrical and electronic engineering, and computer networks and communications.

Their research spans several main topics, including:

  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Quantum Computing Algorithms and Architecture
  • Quantum Information and Cryptography
  • Bayesian Modeling and Causal Inference
  • Quantum-Dot Cellular Automata
  • Constraint Satisfaction and Optimization

Recent publications by Sebastiani include:

  • "Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results," 2020, Information and Computation
  • "Effective prime factorization via quantum annealing by modular locally-structured embedding," 2024, Scientific Reports
  • "Enhancing SMT-based Weighted Model Integration by structure awareness," 2024, Artificial Intelligence
  • "Disjoint Partial Enumeration without Blocking Clauses," 2024, Proceedings of the AAAI Conference on Artificial Intelligence
  • "Enumerating All Boolean Matches," 2025, Dagstuhl Research Online Publication Server

Frequent coauthors in their work are:

  • Giuseppe Spallitta
  • Gabriele Masina
  • Armin Biere
  • Jingwen Ding
  • Paolo Morettin

Publication venues where Sebastiani has contributed multiple works include:

  • arXiv (Cornell University)
  • Artificial Intelligence
  • Journal of Automated Reasoning
  • Information and Computation
  • Scientific Reports

Best Publications

  • NuSMV 2: An OpenSource Tool for Symbolic Model Checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • The MathSAT5 SMT solver

    Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani

  • Nusmv version 2: an opensource tool for symbolic model checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • Reasoning with Goal Models

    Paolo Giorgini;John Mylopoulos;Eleonora Nicchiarelli;Roberto Sebastiani

  • Lazy Satisfiability Modulo Theories

    Roberto Sebastiani

  • Goal-oriented requirements analysis and reasoning in the Tropos methodology

    Paolo Giorgini;John Mylopoulos;Roberto Sebastiani

  • The MathSAT 4 SMT Solver

    Roberto Bruttomesso;Alessandro Cimatti;Anders Franzén;Alberto Griggio

  • Formal Reasoning Techniques for Goal Models

    Paolo Giorgini;John Mylopoulos;Eleonora Nicchiarelli;Roberto Sebastiani

  • A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

    Gilles Audemard;Piergiorgio Bertoli;Alessandro Cimatti;Artur Kornilowicz

  • Simple and Minimum-Cost Satisfiability for Goal Models

    Roberto Sebastiani;Paolo Giorgini;John Mylopoulos

  • A SAT based approach for solving formulas over boolean and linear mathematical propositions

    Gilles Audemard;Piergiorgio Bertoli;Alessandro Cimatti;Artur Korniłowicz

  • Software model checking via large-block encoding

    Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

  • Proceedings of AAAI-96

    Alan Bundy;F. Giunchiglia;R. Sebastiani;T. Walsh

  • Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K

    Fausto Giunchiglia;Roberto Sebastiani

  • Bounded Model Checking for Timed Systems

    Gilles Audemard;Alessandro Cimatti;Artur Kornilowicz;Roberto Sebastiani

  • OptiMathSAT : A Tool for Optimization Modulo Theories

    Roberto Sebastiani;Patrick Trentin

  • Verifying Industrial Hybrid Systems with MathSAT

    Gilles Audemard;Marco Bozzano;Alessandro Cimatti;Roberto Sebastiani

  • Software Model Checking via Large-Block Encoding

    Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

  • OptiMathSAT: A Tool for Optimization Modulo Theories

    Roberto Sebastiani;Patrick Trentin

  • A SAT-based decision procedure for ALC

    Fausto Giunchiglia;Roberto Sebastiani

Frequent Co-Authors

Alessandro Cimatti
Alessandro Cimatti Fondazione Bruno Kessler
Fausto Giunchiglia
Fausto Giunchiglia University of Trento
John Mylopoulos
John Mylopoulos University of Ottawa
Paolo Giorgini
Paolo Giorgini University of Trento
Enrico Giunchiglia
Enrico Giunchiglia University of Genoa
Armando Tacchella
Armando Tacchella University of Genoa
Moshe Y. Vardi
Moshe Y. Vardi Rice University
Marco Pistore
Marco Pistore Fondazione Bruno Kessler
Peter F. Patel-Schneider
Peter F. Patel-Schneider Palo Alto Research Center
Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education in STEM fields offers a wealth of opportunities for aspiring Computer Science students. Today, it’s easier than ever to pursue technical degrees and certifications from anywhere.

For students interested in a multidisciplinary background, a bachelor of science in physics online can complement computer science studies by building analytical and problem-solving skills.

Those who want to specialize in data and analytics can consider the data science learning path. It is a rapidly growing field that blends programming, statistics, and business insight.

If you’re interested in hardware or robotics, review the top online electrical engineering schools. These programs can open doors to innovative technology careers that overlap with computer science.

Additionally, gaining industry-relevant skills doesn’t always require a full degree. Consider easy certifications to get online for a fast boost to your credentials and job prospects, especially in tech-related roles.

Best Scientists Citing Roberto Sebastiani

Trending Scientists

Recently Published Articles