Professoressa Associata – Dipartimento di Informatica | Tel.: 050 221 2760 – Email: chiara.bodei@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"5643","unipi-persone-nome":"Chiara","unipi-persone-cognome":"Bodei","unipi-persone-email":"chiara.bodei@unipi.it","unipi-persone-cv":"Chiara Bodei \u00e8 Professore Associato in Informatica all'Universit\u00e0 di Pisa dal 2005 ed \u00e8 stata ricercatrice dal 2000, dopo aver conseguito il dottorato di ricerca in Informatica.
\r\n
\r\nLa sua attivit\u00e0 di ricerca \u00e8 incentrata principalmente sulla Semantica dei Sistemi Concorrenti e Mobili e in particolare sui problemi di sicurezza e su quelli relativi ai servizi anche in scenari di cloud computing. Sempre partendo dalla Semantica della Concorrenza, parte della ricerca si \u00e8 svolta nell'ambito della Systems Biology. In entrambi gli ambiti, si \u00e8 avvalsa di tecniche di analisi statica per la verifica di propriet\u00e0 di raggiungibilit\u00e0 dei sistemi.
\r\nChiara Bodei \u00e8 ed \u00e8 stata coinvolta in progetti internazionali (EU ESPRIT Basic Research Action 8310 - LOMAPS, FET-GC-DEGAS and FETPI-GC-SENSORIA, British-Crui Partnership Programme 2009),
\r\nnazionali (CNR Progetto Strategico \"Modelli e Metodi per la Matematica e l'Ingegneria\", Progetto MURST \"Tecniche Formali per la Specifica, l'Analisi, la Verifica,la Sintesi e la Trasformazione di Sistemi Software\" e
\r\nProgetto MURST TOSCA \"Theory of Concurrency, Higher Order and Types\"), il progetto PRIN \"SOFT\", il progetto di ricerca di base TESLA della regione Sardegna e il progetto PRIN \"Security Horizons\", e in progetti locali (Progetto dell'Universit\u00e0 di Pisa PRA 2016 64 Project Through the fog e Progetto dell'Universit\u00e0 di Pisa PRA 2018 66 DECLWARE: Metodologie dichiarative per la progettazione e il deployment di applicazioni).
\r\nInoltre, Chiara Bodei ha pubblicato pi\u00f9 di sessanta tra riviste e atti di congresso internazionali, tutti con revisione, ed \u00e8 ed \u00e8 stata revisore per varie riviste e congressi.
\r\n
\r\nInsegna e ha insegnato corsi di introduzione all\u2019informatica, di fondamenti di programmazione, di didattica dell\u2019informatica, di metodi formali per la sicurezza, di metodi e verifica di sicurezza.
\r\n
\r\nColtiva anche interessi legati alla didattica e alla divulgazione della scienza e in particolare dell'informatica. Da dicembre 2017 a luglio2023 \u00e8 stata Presidente del Sistema Museale di Ateneo dell'Universit\u00e0 di Pisa.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"Si prega di contattare la docente via email o sulla chat di Microsoft Teams\r\n(Please send an email or a message on the chat of Microsoft Teams)\r\n\r\n","unipi-persone-luogo-ricevimento":"Microsoft Teams o in ufficio\r\n(On Microsoft Teams or in her office)\r\n\r\n\r\n\r\n","unipi-persone-ore-ricevimento":"Su appuntamento \r\n(By appointment) \r\n\r\n\r\n\r\n","unipi-persone-telefono":"050 221 2760","unipi-persone-sitoweb":"http:\/\/pages.di.unipi.it\/bodei\/","unipi-persone-cariche":"