Roberto Sebastiani - research interests


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