LAURA NENZI
Since November 2021, I am Assistant Professor (tenure-track) at the University of
Trieste, in the Department of Engineering and Architecture.
I am co-PI of the MUR PRIN (Programmi di Ricerca Scientifica di Rilevante Interesse Nazionale) project DREAM, modular software Design to Reduce uncertainty in Ethics-based cyber-physicAl systeMs – 2023-2025
2019-2021 I was co-PI of the YIRG project: "High-dimensional statistical learning:
new methods to advance economic and sustainability policies" (total
funding ~2 Mio Euro)
.
My Curriculum Vitae here
Research Interests
My research interests are focused on formal methods applied to design and
analysis of complex systems such as Cyber Physical Systems and Collective
Adaptive Systems. I worked in the development of original frameworks to
control and optimise the behavior of such systems, keeping track of their
spatio-temporal dynamics. In particular, I developed a spatio-temporal
logic to express formal requirements on their performance, and scalable
monitoring algorithms to verify them. I am further interested in the
investigation of non-deterministic imprecisions in spatio-temporal logics,
both from the point of view of samples and parameter formula imprecision
and in discovering more precise and expressive specifications. Moreover, I
am familiar with the analysis of stochastic systems and statistical
verification routines; specifically, I worked in the design of a
methodology for parameter estimation and synthesis that combines formal
methods and machine learning techniques. This methodology can be also used
to learn temporal logic requirements from data, providing an automatic way
to describe unwanted (or desired) behaviors that the system needs to
satisfy.
Education
I received my PhD in Computer Decision and Systems Science (XVIII
Cycle) from IMT, in 2016. My thesis supervisors were Prof. Luca
Bortolussi (University of Trieste) and Prof. Rocco De Nicola
(IMT). From November 2014 to May 2015, I was a visiting student
within the group of Modeling and Simulation (Mosi) at the
Saarland University, Saarbrücken, Germany.
I received my master degree in 2012 at the University of Trieste with a
thesis on a logic-based approach to determine the connection between
biological modules and their behavioral properties. My supervisor was
Prof. Luca Bortolussi. During my master I was a visitor
at the University of Edinburgh for 3 months.
I received my bachelor degree in mathematics at the University of
Padova in 2010 with a thesis on biomechanical models for pattern formation
under the supervision of Prof. Francesco Fassò and Prof. Marco
Favretti. During my bachelor I visited, for 9 months, the
University of Warwick, granted by the Erasmus exchange program.