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
July 26, 2021Alessandro Cimatti and Roberto Sebastiani win the Computer-Aided Verification Award 2021The two researchers, from FBK and the University of Trento respectively, received the prize awarded by CAV 2021, the most important international conference on the verification of correctness of hardware and software systems and one of the most prestigious in computer science.
December 30, 2020A new organization for the Bruno Kessler FoundationStarting from January 1, 2021, the statute of FBK has changed: there are now 6 new Research Centres and a Management dedicated to Marketing and business development will be soon inaugurated.
December 15, 2020FBK researchers among the most cited in the worldWe highlighted the scientific results of Francesca Bovolo, Alessandro Cimatti, Manlio De Domenico, Paolo Massa, Fabio Remondino and Carlo Strapparava. The Scopus data analysis was published in the international journal Plos Biology
July 16, 2018Alessandro Cimatti wins the “CAV 2018” international awardThe prestigious award concerned studies for the realization of the so-called Bounded Model Checking, an algorithm used in the electronic circuit and software design systems
September 11, 2017Jeff Kramer at the SEFM conference organized by FBKThe fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods.
September 5, 2017Safety and reliability in software-controlled systemsTrento is hosting three international conferences in September
April 27, 2017Alessandro Cimatti wins ETAPS “Test of Time Award”In an ever-changing and fast-moving field like software is, not everybody gets to make an internationally ground-breaking and far-reaching scientific work that will influence the industry for years to come. Alessandro Cimatti, with Fondazione Bruno Kessler's ICT Center, has succeeded: he received the "Test of Time Award" from ETAPS in Uppsala, Sweden.