Federico Chesani is employed as associate professor in the
Department of Computer Science and Engineering (DISI), at the
University of Bologna, Engineering Faculty. He got his master
degree in Informatics and Engineering in 2002; later in 2007 he got
his Ph.D. title at the University of Bologna.
His research activity is about the adoption of declarative
approaches, and in particular of logic programming, to the
specification, design and verification of interaction protocols
within distributed systems, Multi-Agent Systems (MAS), Web Services
and Service Oriented Architectures, and expert systems within the
health field. In particular, the research activity of Federico
Chesani is focused on the study of formal languages for the
definition of interaction protocols, aiming to prove properties,
and to verify at run-time the conformance of the peers' observed
behavior (possibly detecting wrong situations, and culprits).
Federico Chesani has been author/co-author of more of 100 scientific
publications, within international journals as well as conferences
and workshops. He has been invited speaker at Ph.D. courses,
seminars, and conferences.
Federico Chesani teaches in several academic courses about Informatics
and Computer Science within the Engineering School of the
University of Bologna.
