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 Dottore di Ricerca, presso l'Università
di Bologna. Dal 2012 è ricercatore, e nel 2020 ha preso servizio come Professore Associato 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).
I risultati ottenuti da Federico Chesani nell'ambito della sua
attività di ricerca sono stati pubblicati come articoli scientifici
presso prestigiose riviste internazionali, nonchè nell'ambito di
conferenze e workshops, sia internazionali che nazionali, per un
totale alla data odierna di oltre 100 pubblicazioni. E' stato
inoltre invitato a tenere seminari e tutorials nell'ambito di
conferenze internazionali.
Federico Chesani svolge attività didattica a livello accademico,
sia nell'ambito dei corsi di Fondamenti di Informatica, Laboratorio
di Informatica e Fondamenti di Intelligenza Artificiale, sia come
referente per tesi di laurea presso la Scuola di Ingegneria e
Architettura dell'Università di Bologna.
