My research interests are mainly in the field of Automated Reasoning, Modeling and Verification of Cyber-Physical Systems, Machine Learning. I like to solve problems at the crossroads of Automated Reasoning and Machine Learning with applications to CPSs for monitoring, control and diagnosis of complex automation systems, including, but not limited to, robots, factory and home automation.

Currently I teach the course Progettazione e Analisi di Algoritmi (Design and Analysis of Algorithms) for undergraduate students in Ingegneria Informatica (Computer Systems Engineering), and the course Modeling and Verification of Cyber-Physical Systems to graduate students. I used to teach courses about Artificial Intelligence, Formal Languages and Compilers, and Machine Learning for graduate students in Robotics, Bioengineering and Computer Systems Engineering.