I am Head of the Planning Group in the Department of
Informatics at King's College London, and elected member of the ICAPS Executive Council.
My main research interests are in Artificial Intelligence
Model Checking, with a particular focus on hybrid systems, robotics, smart cities and intelligent traffic control.
Please see my list of publications on dblp.