Roberto Sebastiani - Awards

• Computer-Aided Verification (CAV) Award, 2021
  "For pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)."
• 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!"
• 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.