Nata a Pisa nel 1952, la professoressa Gigliola Vaglini si è laureata nel 1974 in Scienze dell’Informazione presso la facoltà di Scienze matematiche, fisiche e naturali dell’Università di Pisa.

Assegnista e ricercatrice presso il Dipartimento di Informatica dell’Università di Pisa, dal 1989 al 1990 è stata associata all’Università Federico II di Napoli per poi tornare a Pisa dove dal 2002 è ordinaria di Sistemi per l’Elaborazione delle Informazioni al Dipartimento di Ingegneria dell’Informazione.
La professoressa Gigliola Vaglini è autrice di più di 100 pubblicazioni su prestigiose riviste internazionali e atti di congressi internazionali. È stata responsabile e ha partecipato a numerosi progetti di ricerca nazionali e internazionali ed è revisore di riviste internazionali. La sua attività si è svolta principalmente nell’ambito dei metodi formali per la specifica e verifica dei sistemi concorrenti e distribuiti. Ha introdotto innovative metodologie, basate su semantiche nonstandard, per la verifica di proprietà di sistemi concorrenti, contribuendo alla definizione di una nuova logica temporale che permette verifiche di correttezza molto efficienti usando tecniche di model checking. Ha inoltre definito metodi basati su euristiche strutturali per rendere sempre più efficiente la costruzione del modello di sistema su cui applicare queste tecniche. L’approccio formale basato sul model checking è stato da lei usato in rilevanti applicazioni specifiche, quali ad esempio l’identificazione di malware in sistemi Android, con localizzazione dei comportamenti malevoli delle applicazioni sotto analisi.
Più recentemente il campo di ricerca della professoressa Vaglini si è spostato sull’analisi di dati, anche di grandi dimensioni, con lo scopo principale di individuare variazioni nelle forme comportamentali di gruppi di individui o di sistemi artificiali. All’attività di didattica e di ricerca Gigliola Vaglini ha affiancato con competenza, dedizione e spirito di servizio numerosi impegni istituzionali. È stata Presidente del corso di laurea triennale in Ingegneria informatica e del corso aggregato in Ingegneria informatica e Ingegneria informatica per la Gestione d’Azienda. Le due lauree magistrali sono state trasformate nel 2012 in corsi internazionali in lingua inglese, tra i primi a Pisa, denominati Computer Engineering e Embedded Computing Systems. La professoressa Vaglini è stata componente del comitato di presidenza e della commissione programmazione e sviluppo della Facoltà di Ingegneria, Presidente della commissione programmazione didattica della Scuola di Ingegneria e dal 2012 al 2019 componente della commissione didattica paritetica della Scuola. È stata Presidente del Centro Servizi Informatici della Facoltà di Ingegneria e coordinatrice scientifica del Polo informatico 6 del Sistema informatico Dipartimentale dell’Ateneo. Dal 2017 è delegata del Dipartimento di Ingegneria dell’Informazione nel consiglio del Sistema Informatico di Ateneo. Dal 2013 al 2016 è stata componente per due mandati della Commissione Etica di Ateneo. Da marzo 2017 a tutt’oggi è Presidente del Nucleo di Valutazione di Ateneo.
Per queste motivazioni il Senato Accademico ha insignito dell’Ordine del Cherubino la professoressa Gigliola Vaglini.