Alessandro Cimatti is the director of Fondazione Bruno Kessler’s Digital Industry Center. A researcher since 1990 with ITC-Irst, from 2006 to 2020 he has been the head of the ICT Center’s Embedded Systems (ES) research unit at FBK.
Author of 220 papers in the fields of formal methods and artificial intelligence, for his fundamental work on Bounded Model Checking, Cimatti has received the TACAS 2014 Most Influential Paper award, the ETAPS 2017 Test of Time award and the 2018 and 2021 CAV Award.
He has been the leader of several technology transfer projects, including research projects funded by the European Union, the European Space Agency and the European Railway Agency, as well as of industrial collaborations with RFI, SAIPEM and Boeing.
Google H-index 61
Number of Google Citations 19,771
Number of Articles on DBLP 226
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.