Funded PhD position available on AI Planning for Intelligent Urban Traffic Control
Starting date: October 2016. Deadline for applications: February 2016.
For any informal queries, please email me.
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, and cyber physical systems.
I am also interested in Formal Methods (automata, decision diagrams, graph algorithms) and Intelligent Information Representation
(information extraction, spatial relations, visual reasoning, spatial/temporal reasoning).
Please have a look at the applications page for some examples of projects I am currently