Contenuto principale della pagina Menu di navigazione Modulo di ricerca su uniPi Modulo di ricerca su uniPi

Nicoletta De Francesco - Deputy Rector


nicoletta defrancescoNicoletta De Francesco

Professor of Data Processing Systems at the Department of Information Engineering
Nicoletta De Francesco was born in Florence on 22nd October 1951. In 1974, she graduated in Computer Science from the Faculty of Mathematics, Physics and Natural Sciences at the University of Pisa. She was a researcher at the Department of Computer Science in the University of Pisa, an associate professor at the University of Salerno and later at the Department of Information Engineering at the University of Pisa, where she has been a full professor of Data Processing Systems since 2000.

Institutional activities

In 2002, she was Deputy Head of the Faculty of Engineering and from 2003 to 2010 was Vice Rector for Teaching. She took part in founding the Logistic Centre of the University of Pisa in Livorno and was President of its Scientific and Executive Committee. From 2010 to 2016 she was the Deputy Rector.
She is the President of the Board of Directors of the Galileo Galilei Foundation and the Awards and Scholarships Foundation of the University of Pisa, as well as being a member of the Board of Directors of the QUINN Consortium (University Consortium in Engineering for Quality and Innovation).

Scientific and teaching activities

Professor Nicoletta De Francesco is the author of numerous publications in prestigious international journals and has participated in many national and international research programs. Her research activity has focused mainly on the formal methods for specifying and verifying concurrent and distributed systems. In the 1980s and 90s she was co-author of important papers, which have been widely cited, presenting innovative ideas for debugging and prototyping concurrent systems, as well as new methodologies, based on non-standard semantics, for controlling the properties of the code; this work resulted in the definition of a new action-based modal logic being defined, enabling very effective verifications to be obtained. Subsequently, she applied abstract interpretation techniques to analyse secure information flow of code. An important result in this field was the development of a Java bytecode verifier with reduced memory requirements, which could then be used in embedded systems such as smartcards. Another of her works based on Abstract Interpretation for the Java bytecode was granted the “Wilkes award” by “The Computer Journal”, Oxford University Press, for the best work published in 2010.
Professor De Francesco has been engaged in a wide and diversified sphere of teaching activities, firstly on the degree course in Computer Science and then on the course in Computer engineering. She is a member of the board of the Ph.D. course in Information Engineering.
In 2014 Professor Nicoletta De Francesco was honoured with the Ordine del Cherubino.

 

Ultima modifica: Mer 04 Gen 2017 - 14:49

Questo sito utilizza solo cookie tecnici, propri e di terze parti, per il corretto funzionamento delle pagine web e per il miglioramento dei servizi. Se vuoi saperne di più, consulta l'informativa