My main area of research is Control Systems. I am particularly interested in the theoretical foundations behind practical issues in modern control implementations. This encompasses the formal study of digital, networked and embedded control systems.

I have two current active lines of research:

1) Event-triggered and self-triggered control, in particular distributed implementations of event-triggered based controller and their applications in Control over Sensor/Actuator Networks;

2) Synthesis of correct-by-design embedded control systems software using formal verification techniques and approximate simulation relations.

In the past I performed research both in Robotics and System Identification.

My CV is available here.