Cinzia Bernardeschi

Location: VIA G. CARUSO, 16, 56122 PISA

Email: cinzia.bernardeschi@unipi.it

Phone: 050 2217541

Website: www.ing.unipi.it/~d8669

Profile

Position: Professore Associato

Unit: Dipartimento di Ingegneria dell'Informazione

Scientific-disciplinary sector: Sistemi di Elaborazione delle Informazioni IINF-05/A

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.


Teaching

Teaching activity

Teaching responsibility for modules/courses



Student consultation hours

Mode of office hours: Lunedi' ore 12.00 Venerdi' ore 14.00

Research

Publications