Professore Associato – Dipartimento di Ingegneria dell’Informazione | Tel.: 050 2217541 – Email: cinzia.bernardeschi@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"445","unipi-persone-nome":"Cinzia","unipi-persone-cognome":"Bernardeschi","unipi-persone-email":"cinzia.bernardeschi@unipi.it","unipi-persone-cv":"Cinzia Bernardeschi, PhD, is currently Associate Professor at the Department of Information Engineering, University of Pisa.
\r\nShe holds the courses of \u201cFondamenti di Informatica\u201d (Foundations of Informatics) and \u201cSistemi Informativi\u201d (Information Systems).
\r\n
\r\nShe is a Board member of the Ph.D. Program in Information Engineering of the University of Pisa.
\r\nShe co-authored 21 papers on international journals and 45 papers in international peer-reviewed conferences.
\r\n
\r\nHer research interests address: Application of formal methods for specification and verification
\r\nof concurrent and distributed systems; application of the data-flow paradigm for the design of
\r\ncontrol systems; verification of algorithms and protocols for wireless systems and sensor networks;
\r\nmodelling and analysis methods for digital systems, including FPGAs. She also works in the field of systems dependability.
\r\n
\r\nShe is a member of the Joint Laboratory between CNR and University of Pisa
\r\n\u201cPervasive Computing and Networking Laboratory (PerLab)\u201d.
\r\n
\r\nShe co-operates with the Istituto di Scienza e Tecnologie dell\u2019Informazione of the CNR
\r\nsince 2009 on research issues about design, analysis and verification of dependable systems.
\r\n
\r\nShe took part in research projects funded both by the European Union and the National government.
\r\nRegarding topics related to this project, she was responsible of the Pisa research group on formal
\r\nmethods of the European Network of Excellence ReSIST (Resilience for Survivability in IST, 2006-2009);
\r\nshe participated in the Esprit project GUARDS (Generic Upgradable Architecture for Real-time Dependable
\r\nSystems, 1996-1998), as responsible for the Pisa Dependable Computing Centre-University of Pisa.
\r\nShe participated in the MURST projects \u201cDesign methodologies and tools for distributed and parallel
\r\nsystems\u201d (1996) and \u201cDesign methodologies and tools for high performance systems for distributed
\r\napplications\u201d(1998-1999).
\r\nShe is a reviewer for international conferences and journals.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"Lunedi' ore 12.00\nVenerdi' ore 14.00","unipi-persone-luogo-ricevimento":"","unipi-persone-ore-ricevimento":"","unipi-persone-telefono":"050 2217541","unipi-persone-sitoweb":"www.ing.unipi.it\/~d8669","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=008669","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=008669&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Sistemi di Elaborazione delle Informazioni IINF-05\/A","unipi-persone-ruolo":"Professore Associato","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp11592","unipi-persone-pubblicazioni":"