Roberto Sebastiani - Research Interests


My research focuses on Formal Verification (in particular, model checking) and Automated Reasoning (in particular SAT and SMT) and their applications. My current main research interests are: More recent research involves also: My past research involved also:
Back to Roberto Sebastiani's home page.