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