Laura Nenzi
Associate Professor
Trieste, Friuli – Venezia Giulia, Italy
Summary
👤
Senior🎓
Top SchoolLaura Nenzi is an Associate Professor specializing in formal methods for the design, analysis and control of complex cyber-physical and collective adaptive systems, with eight years of academic experience across Italian and Austrian institutions. She has developed a spatio-temporal logic and scalable monitoring algorithms to specify and verify system-level performance, and investigates non-deterministic imprecision in specifications and sampling. Her work bridges formal verification, stochastic system analysis and machine learning, including methodologies for parameter synthesis and learning temporal logic requirements from data. Based in Trieste, she combines rigorous mathematical training with practical research impact, pursuing more expressive, data-driven specifications that can automatically capture unwanted or desired behaviors.
8 years of coding experience
8 years of employment as a software developer
Computational and Applied Mathematics, Computational and Applied Mathematics at University of Warwick - Warwick Business SchoolMaster of Laws (LL.M.), Mathematics, 110/110, Master of Laws (LL.M.), Mathematics, 110/110 at Università degli Studi di TriesteComputer Science, Computer Science at The University of EdinburghBachelor of Laws (LL.B.), Mathematics, Bachelor of Laws (LL.B.), Mathematics at Università degli Studi di PadovaHigh school diploma, Science, 98/100, High school diploma, Science, 98/100 at Liceo Scientifico G.B.Benedetti
Italian, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (2)
moonlight8
monitoring6
Programming languages (2)
Github contributions (5)
lauranenzi/lauranenzi.github.io
Aug 2017 - May 2024
Contributions:24 pushes, 1 branch in 6 years 9 months
lauranenzi/ProgrammingLab_I
Nov 2024 - Mar 2025
Contributions:80 pushes, 1 branch in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.