Federico
Chesani

Ricercatore Confermato - Dipartimento di Informatica, Scienza e Ingegneria Università di Bologna

Federico Chesani svolge attualmente attività di ricerca presso il Dipartimento di Informatica: Scienza e Ingegneria (DISI) dell’Università di Bologna, Facoltà di Ingegneria. Ha conseguito il Diploma di Laurea in Ingegneria Informatica nel 2002, e nel 2007 ha poi conseguito il titolo di Dottorato di Ricerca, presso l’Università di Bologna. Dal 2012 è ricercatore presso l’Università di Bologna.
La sua attività di ricerca riguarda l’uso di approcci dichiarativi, ed in particolare della logica computazionale, per la specifica, la verifica e lo studio dei protocolli di interazione nell’ambito di sistemi distribuiti, di sistemi Multi-Agente, di sistemi basati su Web Services (architetture SOA in generale), e di sistemi esperti in campo medico. In particolare, la sua attività di ricerca è focalizzata sullo studio dei linguaggi formali per la definizione dei protocolli, al fine di poterne studiare le proprietà in fase di design, e la verifica di conformità del comportamento dei peers in fase di esecuzione (ed eventuale individuazione di comportamenti scorretti e dei responsabili).