Eleonora Nesterini

Eleonora Nesterini is a PreDoc Researcher at TU Wien's Faculty of Informatics, specializing in Cyber-Physical Systems. She is affiliated with the E191-01 department and involved in the ProbInG project (2020–2025). Her research focuses on formal methods for system verification, particularly mining temporal logic specifications and applying them to safety-critical systems. She holds an ORCID identifier: 0000-0002-1229-5331.

Her work bridges theoretical computer science with practical applications in predictive safety monitoring and multi-class classification systems. Recent projects include developing tools like ShapeIt for automated specification generation and analyzing hyperproperties in cyber-physical systems.

Eleonora's research has been published in venues such as ACM Transactions on Embedded Computing Systems and Runtime Verification conferences. She actively contributes to advancing formal methods through interdisciplinary approaches combining machine learning and temporal logic frameworks.