Cinzia Bernardeschi received the Laurea degree in Computer Science in 1987 and the PhD degree in 1996,
both from the University of Pisa, Pisa, Italy. She is associate professor of Computer Science Foundations
at the Department of Information Engineering ,
School of Engineering of the University of Pisa .
Her main research interests are in the area of software engineering, dependable systems and application of
formal methods for specification and verification of safety-critical systems. Recent work
includes reliability issue of programmable logic devices.
She is a member of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)
and of the Pervasive Computing and Networking Laboratory (PerLab) in Pisa.