Laureata con lode nel 1974 in Scienze dell’Informazione presso l’Università di Pisa, dove si era iscritta nel 1970, ha svolto la sua carriera accademica quasi totalmente all’interno dell’ateneo di Pisa, prima presso il Dipartimento di Informatica e dal 1990 presso il Dipartimento di Ingegneria dell’Informazione. Dal 2000 è professore ordinario di Sistemi per l’Elaborazione delle Informazioni.

La sua ricerca si è svolta nell’ambito dei metodi formali per la specifica e verifica dei sistemi concorrenti e distribuiti, con particolare riferimento alle logiche temporali e alle tecniche di interpretazione astratta.

Dal 2003 al 2010 è stata Prorettore alla didattica dell’Università di Pisa e dal 2010 è Prorettore Vicario della stessa Università. Nel 2014 le è stato conferito dall’Università di Pisa l’ordine del Cherubino.

Fra le altre cariche, è presidente del consiglio di amministrazione della Fondazione Galileo Galilei.

Fa parte del Comitato d’Onore dell’Internet Festival sin dalla prima edizione.

Insieme all’impegno accademico, ha iniziato un percorso artistico verso la metà degli anni ’90. Le sue opere, quadri in terracotta invetriata, sono stati esposti in numerose mostre personali e collettive.