For a Human-Centered AI

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