Roberto Sebastiani - Awards

• Skolem Award, 2023 (for 2002)
  "CADE-18: International Conference on Automated Deduction (CADE) Skolem Award for a CADE paper that has Passed the Test of Time, by being a Most Influential Paper in the field. Presented to Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, and Roberto Sebastiani for the paper “A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions”, (...) The paper by Audemard et al. is recognised for proposing pioneering techniques for the efficient integration of arithmetic decision procedures into a framework for satisfiability modulo theories. Many of those techniques are used in state-of-the-art SMT solvers and contribute to their efficiency. (...) "
• Computer-Aided Verification (CAV) Award, 2021
  "For pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)."
• Engineering Applications of Artificial Intelligence, Top-Cited Article 2005-2010
  for the paper "Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology" by P. Giorgini, J. Mylopoulous, R. Sebastiani, Engineering Application of Artificial Intelligence Journal. Volume 18/2, March 2005. Ed. Elsevier.
• Formal Verification in Computer-Aided Design, Best-paper Award, 2010
  "The FMCAD10 best paper award goes to the paper "Applying SMT in Symbolic Execution of Microcode" by Anders Franzen, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, and Jonathan Shalev. The paper is a pleasure to read, and provides impressive results. The paper shows that SMT-based techniques can beat SAT-techniques in an industrial setting, even for problems where SAT has previously been the dominating technique. These results, although anticipated by the SMT community for a long time, had not been established this conclusively so far. Bravo and congratulations!"