Luca Laurenti
Papers
1
Total Citations
38
H-Index
1
About
Luca Laurenti is a leading researcher at the intersection of formal methods, machine learning, and safety-critical systems. His work focuses on developing rigorous frameworks for the verification and control of autonomous systems, particularly when these systems rely on learned models with inherent uncertainty. A key contribution is his pioneering research on robustness guarantees for Bayesian inference with Gaussian processes, as demonstrated in his highly cited 2019 paper (38 citations). This work addresses a critical gap: while Bayesian methods are widely used in safety-critical applications like robotics and biological systems, they often lack formal guarantees on their predictions. Laurenti’s research provides a mathematical foundation for certifying the behavior of such models, enabling their trustworthy deployment. His broader impact spans the development of data-driven verification techniques that bridge probabilistic machine learning with formal verification, ensuring that autonomous systems can operate reliably under uncertainty. With a growing citation record and a reputation for advancing the theoretical underpinnings of safe AI, Laurenti’s work is essential reading for students and researchers interested in building dependable intelligent systems.
Research Focus
Key Achievements
Top Papers
- 1Robustness Guarantees for Bayesian Inference with Gaussian Processes38 citations · 2019