Cinzia Bernardeschi Professore associato Dipartimento di Ingegneria dell'Informazione Universita' di Pisa via Diotisalvi 2, I-56100 PISA, ITALY +39-50-2217541 tel., direct, +39-50-2217599 tel., secr. +39-50-2217600 fax, e-mail: c.bernardeschi@ing.unipi.it

Research activity Recent publications

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 , Faculty of Engineering of the University of Pisa . Since 1990 she has been working on formal methods and dependable systems. Recently she is studying pervasive computing, ad hoc and sensor networks. She is a member of the Pervasive Computing and Networking Laboratory (PerLab) in Pisa. DIDATTICA FONDAMENTI DI INFORMATICA E PROGRAMMAZIONE A OGGETTI SISTEMI INFORMATIVI RICEVIMENTO: su appuntamento con il docente TESI DISPONIBILI (in collaborazione con aziende): Verification and validation of safety critical systems. Software assessment. Analisi di FPGA.