Foto del docente

Federico Chesani

Associate Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Curriculum vitae

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.

Latest news

At the moment no news are available.