Cinzia Bernardeschi

Cinzia Bernardeschi, PhD, is currently Associate Professor at the Department of Information Engineering, University of Pisa.
She holds the courses of “Fondamenti di Informatica” (Foundations of Informatics) and “Sistemi Informativi” (Information Systems).

She is a Board member of the Ph.D. Program in Information Engineering of the University of Pisa.
She co-authored 21 papers on international journals and 45 papers in international peer-reviewed conferences.

Her research interests address: Application of formal methods for specification and verification
of concurrent and distributed systems; application of the data-flow paradigm for the design of
control systems; verification of algorithms and protocols for wireless systems and sensor networks;
modelling and analysis methods for digital systems, including FPGAs. She also works in the field of systems dependability.

She is a member of the Joint Laboratory between CNR and University of Pisa
“Pervasive Computing and Networking Laboratory (PerLab)”.

She co-operates with the Istituto di Scienza e Tecnologie dell’Informazione of the CNR
since 2009 on research issues about design, analysis and verification of dependable systems.

She took part in research projects funded both by the European Union and the National government.
Regarding topics related to this project, she was responsible of the Pisa research group on formal
methods of the European Network of Excellence ReSIST (Resilience for Survivability in IST, 2006-2009);
she participated in the Esprit project GUARDS (Generic Upgradable Architecture for Real-time Dependable
Systems, 1996-1998), as responsible for the Pisa Dependable Computing Centre-University of Pisa.
She participated in the MURST projects “Design methodologies and tools for distributed and parallel
systems” (1996) and “Design methodologies and tools for high performance systems for distributed
applications”(1998-1999).
She is a reviewer for international conferences and journals.