Name:Marco Roveri

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 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 automated formal verification of hardware and software systems, formal requirements validation of embedded systems, model based predictive maintenance, and automated model based planning, and application of such techniques in industrial settings.

Country:Italy

Affiliation:University of Trento

Research interests:Formal Verification. Planning and Scheduling, Requirements Engineering, formal security