Professore ordinario di Sistemi di Elaborazione delle Informazioni
Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica, Telecomunicazioni
Facoltà di Ingegneria
e-mail: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.
Nata a Firenze il 22 ottobre 1951, Nicoletta De Francesco si è laureata nel 1974 in Scienze dell'Informazione alla Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Pisa. È stata ricercatrice al Dipartimento di Informatica dell'Ateneo pisano, professore di ruolo di II fascia all'Università di Salerno e quindi al Dipartimento di Ingegneria dell'Informazione: Elettronica, Informatica e Telecomunicazioni dell'Università di Pisa, dove dal 2000 è professore di I fascia di Sistemi per l'elaborazione delle Informazioni. Svolge la sua attività didattica nel corso di laurea in Ingegneria Informatica.
La professoressa De Francesco è stata vicepreside della Facoltà di Ingegneria e, dal 2003 al 2010, prorettore per la Didattica dell'Università di Pisa.
La professoressa Nicoletta De Francesco è autrice di molte pubblicazioni su prestigiose riviste internazionali e ha presentato lavori a numerosi congressi internazionali. È stata responsabile ed ha partecipato a molti progetti di ricerca nazionali e internazionali ed è revisore di riviste internazionali.
L'attività di ricerca della professoressa De Francesco si svolge principalmente nell'ambito dei metodi formali per l'analisi dei sistemi di elaborazione. Si è occupata dell'applicazione di metodi algebrici e logici allo studio e alla descrizione del funzionamento dei sistemi informatici per assicurarne la correttezza e il rispetto di proprietà di sicurezza. Uno dei principali risultati della sua attività di ricerca è la definizione di una nuova logica temporale per l'analisi dei sistemi concorrenti, che permette verifiche di correttezza più efficienti rispetto alle logiche esistenti.