Federico Chesani is employed as assistant 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).