I'm the Director of Fondazione Bruno Kessler’s Digital Industry Center. A researcher since 1990 with ITC-Irst, from 2006 to 2020 I have been the head of the ICT Center’s Embedded Systems (ES) research unit at FBK.
Author of more than 220 papers in the fields of formal methods and artificial intelligence, for my fundamental work on Bounded Model Checking, I have received the TACAS 2014 Most Influential Paper award, the ETAPS 2017 Test of Time award and the 2018 and 2021 CAV Award.
I have 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 63 | Number of Google Citations 19,771 | Number of Articles on DBLP 226 | More than 191 Conference and Workshop Papers | More than 126 co-authors.
Read here about my activities