معرفی
Stefano Tonetta is a Professor and Head of Unit at the Department of Information and Communication Technologies (ICT) within the Bruno Kessler Foundation (FBK) in Trento, Italy. He serves as Vice-coordinator of the Industrial Innovation Doctoral School at the University of Trento (2019-2022) and holds the Italian Abilitazione Scientifica Nazionale for Informatics (01/B1) and Information Processing Systems (09/H1).
His educational background includes a PhD in Information and Communication Technologies from the University of Trento (2006) and a Laurea in Mathematics summa cum laude from the same institution (2001). His research spans formal methods with emphasis on model checking, safety-critical systems verification, and autonomous systems validation.
Tonetta's recent publications demonstrate strong focus on automotive safety verification, hybrid systems analysis, and temporal logic applications. His work bridges theoretical formal methods with industrial applications in aerospace, autonomous driving, and control systems. Key trends include contract-based design for safety assurance, runtime verification under partial observability, and integration of AI with formal verification techniques.
- 2012 FMCAD Best Paper Award
- 2010 FBK Stringa Award
- 2010 Microsoft Research SEIF Award
As Vice-coordinator of the Industrial Innovation Doctoral School, he oversees PhD training programs bridging academia and industry. His research involves significant European collaborations including the ExploDTwin project and RobDT for space robotics. He leads development of verification tools including OCRA, nuSMV, and nuXmv used in industrial safety certification processes.
Tonetta directs FBK's verification unit focused on safety-critical systems, managing teams developing formal methods for automotive, aerospace, and industrial control applications. His group maintains strong industry partnerships with automotive and aerospace manufacturers for practical deployment of verification technologies.
