Personal information
Formal verification, Temporal Networks, Automated Reasoning, Reliability, Model Based Safety Assessment, Fault Tree Analysis, Symbolic Model checking, Satisfiability Modulo Theories (SMT), Model Based Diagnosis, Fault Detection, Isolation and Recovery (FDIR), Planning in Nondeterministic Domains, Bounded Model Checking
Italy
Activities
Employment (2)
2021-01-01
to
present
|
Director
(Center for Digital Industry)
Employment
Source:
Alessandro Cimatti
2007-01-01
to
2020-12-31
|
Head of the Embedded Systems research unit
(Center for Information Technology)
Employment
Source:
Alessandro Cimatti