Cinzia Bernardeschi Dipartimento di Ingegneria dell'Informazione Universita' di Pisa Largo Lucio Lazzarino 1 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, 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 member of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS),
of the IEEE SMC (Systems, Man, and Cybernetics Society) Technical Committee on Homeland Security and
of the TEACUP cybersecurity group.
Since 2018, she collaborates with the INTO-CPS Association , an Association that maintains a tool chain
for Cyber-Physical Systems modelling, simulation and verification.


Short CV
PUBLICATIONS
TEACHING/DIDATTICA


UPCOMING EVENTS
- 4th IEEE Conference on ICT Solutions for eHealth (ICTS4eHealth 2024), co-located with IEEE Symposium on
Computers and Communications (ISCC 2024), 26-29 June, Paris, France
- Modelling and Simulation for Autonomous Systems Conference (MESAS’24), 1-3 October, Chania-Crete, Greece

PREVIOUS EVENTS
- 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2022 ), co-located with
Conference on Software Engineering and Formal Methods SEFM 2022, Berlin, 27 September, 2022 - in-person-only event
- 7th Workshop on Formal Integrated Development Environment (F-IDE 2022 ), co-located with
Conference on Software Engineering and Formal Methods SEFM 2022, Berlin, 26 September, 2022 - in-person-only event
- International Workshop on Formal methods for Security Engineering (ForSE 2022 ), co-located with
The International Conference on Information Systems Security and Privacy ICISSP 2022
- 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS),
a satellite event of SEFM 2021 , December 6-10, 2021, organised in virtual mode.
- 6th Workshop on Formal Integrated Development Environment (F-IDE2021), affiliated to
NASA Formal Methods 2021 (NFM 2021)
- 4th International Workshop on (Meta)Modelling for Healthcare Systems (MMHS 2021), co-located with
Software Technologies: Applications and Foundations (STAF 2021)
- 5th International Workshop on FORmal methods for Security Engineering (ForSE 2021 ), affiliated to
International Conference on Information Systems Security and Privacy (ICISSP 2021)
- Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2020), co-located with
The European Joint Conferences on Theory and Practice of Software ETAPS 2020
- 4th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS),
a satellite event of SEFM2020 , September 14, 2020, Amsterdam, The Netherlands
- International Workshop on Formal methods for Security Engineering (ForSE 2020 ), co-located with
The International Conference on Information Systems Security and Privacy ICISSP 2020
- 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS),
a satellite event of SEFM2019 , September 16, 2019, Oslo, Norway
- 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 International Conference on Information Systems Security and Privacy ICISSP 2019, February 2019, Prague

Interactive prototypes of medical devices:
demo Iniettore
demo Integrated Clinical Environment