I MERCOLEDì DEL DIMI

SEMINARIO

La logica al lavoro

Alessandro Cimatti

Fondazione Bruno Kessler (Trento)

Abstract
La logica matematica, nata per rappresentare il ragionamento matematico, e’ diventata negli ultimi decenni uno strumento di ingegneria per la progettazione dei sistemi ad alta complessita’. Puo’ aiutare a rappresentare univocamente il problema della correttezza ed essere utilizzata per l'identificazione di difetti di progettazione e per la certificazione. La logica sta alla base di sistemi software per la verifica che vengono utilizzati con successo in varie fasi dello sviluppo industriale, dai requisiti alla verifica funzionale e all'analisi di sicurezza. La logica e’ al lavoro in settori critici quali l’aerospaziale, il ferroviario, il controllo avanzato e l’Industria 4.0.

Breve CV
Alessandro Cimatti e’ il responsabile dell’unita’ di ricerca Embedded Systems (ES) nel centro ICT della Fondazione Bruno Kessler di Trento. I suoi interessi di ricerca includono la verifica formale, la logica temporale, il model checking, il planning e la diagnosi. Cimatti ha guidato molteplici progetti di trasferimento tecnologico di verifica formale per realta’ industriali in vari settori applicativi.

Cimatti ha recentemente ricevuto la abilitazione come professore ordinario nei settori disciplinari di Informatica e di Sistemi per l’Elaborazione dell’Informazione, ed il premio ETAPS “Test of Time award” per il lavoro sul Bounded Model Checking.