I am a researcher in the Embedded Systems Unit of FBK.

Contact information

Embedded Systems Unit
Fondazione Bruno Kessler
Via Sommarive 18
38123 Povo (TN) -- Italy
Email:
Tel. (+39) 0461 314359

Research

  • Model checking of temporal logics
  • Satisfiability of temporal logics
  • Formal methods for requirements validation
  • Contract-based design
  • SMT-based hybrid systems verification
  • SMT-based verification of symbolic transition systems
  • Abstraction refinement

The DBLP list of my publications is available here

Tools

Projects

Activities

Awards

Co-recipient of the following awards:

  • 2012 FMCAD Best Paper Award
  • 2010 FBK Stringa Award
  • 2010 Microsoft Research SEIF Award