Alessandro Cimatti
Alessandro Cimatti è direttore del Centro Digital Industry della Fondazione Bruno Kessler. Ricercatore dal 1990 in ITC-Irst, alla FBK dal 2006 al 2020 è stato responsabile dell’unità di ricerca Embedded Systems (ES) presso il Centro ICT.
Autore di 220 articoli nei campi dei metodi formali e dell’intelligenza artificiale, per il suo lavoro fondamentale sul Bounded Model Checking, Cimatti ha ricevuto il premio TACAS 2014 Most Influential Paper, il premio ETAPS 2017 Test of Time e il CAV Award nelle edizioni 2018 e 2021.
E’ stato il leader di diversi progetti di trasferimento tecnologico, inclusi progetti di ricerca finanziati dall’Unione Europea, dall’Agenzia Spaziale Europea e dall’Agenzia Ferroviaria Europea, e di collaborazioni industriali con RFI, SAIPEM e Boeing.
Google H-index 61
Number of Google Citations 19,771
Number of Articles on DBLP 226
Articoli Spotlight
-
5 Settembre 2023Andrea Micheli vince lo Starting Grant ERC per la ricerca di frontiera in IALa notizia dell’assegnazione da parte dell’European Research Council, il principale ente europeo che sovvenziona la ricerca eccellente di frontiera, è arrivata in seguito a una selezione altamente competitiva -
17 Luglio 2023Ricerca e innovazione dentro la transizione digitale dell’industriaFocus sulle tecnologie digitali per l’industria che cambia: la ricerca applicata di FBK in ambito manufatturiero, aerospaziale, ferroviario, per l’automotive, il comparto energetico e l’agricoltura di precisione. -
3 Luglio 2023Thoralf Skolem Award 2023C'è anche Alessandro Cimatti (FBK) fra i firmatari del più influente studio di settore nel periodo 2002-2022, che si è aggiudicato il premio Thoralf Skolem 2023, consegnato ieri a Roma alla conferenza CADE-29. -
2 Dicembre 2022Open Innovation per l’armadio automatizzato Riedl PhasysAssieme a Fondazione Bruno Kessler (FBK), Università di Trento e Dolomiti Robotics è stata realizzata una soluzione innovativa per rendere più competitivo a livello globale il magazzino Riedl Phasys del Gruppo GPI. -
18 Ottobre 202210 nuovi progetti europei per il Centro Digital Industry della Fondazione Bruno KesslerPromossa la partecipazione del territorio trentino con il coinvolgimento di aziende locali, la creazione di siti dimostratori e lo sviluppo di soluzioni facilmente adattabili al territorio -
28 Settembre 2021Collaborazione italo-austriaca promuove la ricerca sui sistemi elettronici intelligentiIl centro di ricerca austriaco Silicon Austria Labs (SAL) e l'istituto di ricerca italiano Fondazione Bruno Kessler (FBK) stanno avviando una collaborazione di ricerca allo scopo di sviluppare metodi e processi che aumentino l'affidabilità delle apparecchiature elettroniche. -
26 Luglio 2021Alessandro Cimatti e Roberto Sebastiani vincono il Computer-Aided Verification Award 2021I due ricercatori, rispettivamente di FBK e dell’Università di Trento, hanno ricevuto il premio conferito nell’ambito di CAV 2021, la più importante conferenza internazionale sulla verifica di correttezza di sistemi hardware e software e una delle più prestigiose in informatica. -
30 Dicembre 2020Una nuova organizzazione per la Fondazione Bruno KesslerA partire dal 1 gennaio 2021, cambia lo statuto di FBK: saranno 6 i nuovi centri di ricerca e verrà inaugurata una Direzione dedicata al marketing e allo sviluppo business. -
15 Dicembre 2020Ricercatori FBK fra i più citati al mondoIn evidenza i risultati scientifici di Francesca Bovolo, Alessandro Cimatti, Manlio De Domenico, Paolo Massa, Fabio Remondino e Carlo Strapparava. L’analisi dei dati Scopus è stata pubblicata sulla rivista internazionale Plos Biology -
16 Luglio 2018Alessandro Cimatti vince il premio internazionale “CAV 2018”Il prestigioso riconoscimento ha riguardato gli studi per la realizzazione del cosiddetto Bounded Model Checking, un algoritmo utilizzato nei sistemi di progettazione di circuiti elettronici e software -
11 Settembre 2017Jeff Kramer alla conferenza SEFM organizzata da FBKLa quindicesima edizione si è tenuta a Trento dal 6 al 10 settembre e ha riunito i principali ricercatori e professionisti del mondo accademico, dell’industria e dell’amministrazione per far progredire lo stato dell’arte nei Formal Methods.
-
5 Settembre 2017Sicurezza e affidabilità nei sistemi controllati dai softwareTre conferenze internazionali a Trento nel mese di settembre
-
27 Aprile 2017Alessandro Cimatti vince il premio”Test of Time Award” dell’ETAPSIn un campo in continua e veloce evoluzione come quello del software non è da tutti realizzare un lavoro scientifico dirompente a livello internazionale e così lungimirante da influenzare il settore per gli anni a venire. Ci è riuscito Alessandro Cimatti, del Centro ICT della Fondazione Bruno Kessler, che a Uppsala in Svezia ha ricevuto il premio “Test of Time Award” dall’ ETAPS.