Future Built on Knowledge

Alessandro Cimatti

Director Digital Industry Center

Google H-index 61
Number of Google Citations 19,771
Number of Articles on DBLP 226

Areas of Interest

  • Satisfiability Modulo Theories (SMT)
  • Symbolic Model Checking
  • Contract-Based Design
  • Verification Modulo Theories, SMT-based model checking
  • Formal Verification of Industrial Critical Systems
  • Safety Analysis, Diagnosability, Diagnosis
  • Planning in Nondeterministic Domains via Symbolic Model Checking



  • The MathSAT SMT solver
  • The NuSMV Model Checker
  • The Kratos software model checker
  • The MBP Planner

Interesting Links

Spotlight's articles