Gigliola Vaglini

Gigliola Vaglini is full professor of Computer Engineering at the “Dipartimento di Ingegneria della Informazione” of the University of Pisa. She teaches Software Systems Engineering, and Data Bases. The main field of her research activity lies in the area of the specification and verification of concurrent and distributed systems. In particular, she worked on the model checking methodology, applied both to formal specifications of concurrent systems and to programs; she defined a new temporal logic to specify system properties allowing  an efficient construction of system models. A similar approach has been used also to detect malware in mobile systems. Moreover, she used machine learning techniques for detecting anomalies of industrial systems. She was involved in several reasearch projects under the financial support of the Italian Ministero dell'Universita' e della Ricerca (MUR), the Italian National Research Council (CNR) and the European Community.