Bio
Marco Roveri received a Ph.D. degree in Computer Science from the University of Milano, Italy in 2002. He is an Associate Professor in the Information Engineering and Computer Science Department of the University of Trento, Italy. He was a Senior Researcher in the Embedded Systems Unit of Fondazione Bruno Kessler in Trento, and before a researcher in the Automated Reasoning Division of the Istituto Trentino di Cultura also in Trento. His research interests include formal verification of hardware and software systems, formal cyber security, formal requirements validation of embedded systems, model-based predictive maintenance, and automated model-based planning, and application of such techniques in industrial settings, in particular to robotics.