Laura Nenzi

WORK HISTORY

EDUCATION

SKILLS

ABOUT LAURA NENZI

My research interests are focused on formal methods applied to the 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 optimize 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 imprecision 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.