Università degli Studi di Napoli Federico II, Napoli, Italy
Topics
Biography
Roberto Nardone received his Ph.D. in 2013 at the Federico II University of Naples, Italy. He collaborates with Ansaldo STS, a worldwide company operating in the field of railways and urban rail transport systems. He is currently a post-doc researcher. His main works are in the area of quantitative evaluation of non-functional properties in critical systems, in particular the focus is on the dependability, performability and vulnerability assessment using formal models. His research interests are both in the Model-Based and Model-Driven techniques supporting the lifecycle of critical systems, from the requirement specification to the verification and validation phase, increasing their automation and reducing their costs. Other interests are in embedded computing with particular focus on fault tolerance and real-time applications.
