My main research interests are in Artificial Intelligence
Model Checking. In particular, I am interested in the synergy between the areas
of planning and verification, with a particular focus on hybrid systems,
robotics, smart cities, and intelligent traffic control.
For more information, please see my list of publications or consult my CV(PDF).