Cinzia Bernardeschi Dipartimento di Ingegneria dell'Informazione Universita' di Pisa Largo Lucio Lazzarino 2 56122 Pisa, Italy +39-50-2217541 tel., +39-50-2217600 fax e-mail: cinzia.bernardeschi@ing.unipi.it

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 and security issues of cyber physical systems.
She is a member of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)
and of the Cyber Security National Laboratory of the National Interuniversity Consortium for Informatics (CINI).
Since 2017, she is member of the "Centro interdipartimentale di ricerca in Promozione della Salute e Information
Technology" of Pisa (ProSIT).

Short CV

Research activities on specification, simulation and verification of cyber-physical systems

DBLP index

TEACHING/DIDATTICA

RECENT AND COMING UP EVENTS:

- 5th Workshop on Formal Integrated Development Environment (F-IDE 2019) , co-located with
Formal Methods 2019 (FM'19) , October 2019, Porto
- Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2019), co-located with
The European Joint Conferences on Theory and Practice of Software ETAPS 2019, April 2019, Prague
- International Workshop on FORmal methods for Security Engineering (ForSE 2019 ), co-located with
The European Joint Conferences on Theory and Practice of Software ICISSP 2019, February 2019, Prague
- Attacchi cyber e sicurezza nelle auto: la dimensione del problema, Sustainable & intelligent vehicle - Connected Car,
Future Mobility Week, Torino Lingotto, 3 Ottobre, 2018
- Software tools for testing usability, UBORA design school 2018, co-located with First International Conference on
Collaborative Biomedical Engineering for Open Source Medical Technologies, September 1-7, 2018, Pisa, Italy
- Workshop on Formal Integrated Development Environment (F-IDE2018), co-located with FM 2018, July 14, 2018, Oxford, UK
- Workshop on Medical Cyber-Physical Systems (Med-CPS-18), co-located with CPSWeek 2018 , April 10, 2018, Porto, Portugal
- Workshop on Co-Simulation of Cyber-Physical Systems (CoSim-CPS), co-located with STAF 2018 , June 26, 2018, Toulouse, France
- L'innovazione al servizio della sicurezza dei pazienti, Festival dell'Innovazione in Sanità Pubblica, Pisa Innova Salute,
Oct 27, 2017, Pisa, Italy
- Workshop Co-Simulation of Cyber-Physical Systems, CoSim-CPS , co-located with SEFM 2017, Sep 5, 2017, Trento, Italy