Alessandro Cimatti
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
Spotlight's articles
-
July 17, 2023Research and innovation inside industry’s digital transitionA focus on digital technologies for the changing industry: FBK's applied research in manufacturing, aerospace, rail, automotive, energy and precision agriculture. -
July 3, 2023Thoralf Skolem Award 2023There is also Alessandro Cimatti (FBK) among the signatories of the most influential field study over the period 2002-2022, which won the Thoralf Skolem 2023 award, presented yesterday in Rome at the CADE-29 conference. -
December 2, 2022Open Innovation for the Riedl Phasys automated warehouse systemTogether with FBK, University of Trento and Dolomiti Robotics, an innovative solution was created to make the GPI Group's Riedl Phasys warehouse system more globally competitive. -
October 18, 202210 new European projects for Fondazione Bruno Kessler’s Digital Industry CenterThe involvement of Trentino based businesses, the creation of demonstrator sites, and the development of solutions easily adaptable to the local area are being promoted -
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.