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 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 60 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.
