LAURA NENZI

Since June 2017, I am a Research Assistant at the TU Wien, in the Institute of Computer Engineering (Embedded Computing Systems Group).
 

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.