Dan is a lecturer in the Department of Informatics at King's College London, member of the Planning Group. Research Activities My main research interests are in Artificial Intelligence Planning and 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 involved in. For more information, please see my list of publications or consult my CV (PDF). Research Projects EU FP7 Project SQUIRREL EU FP7 Project PANDORA EPSRC Project Automated Modelling and Reformulation in Planning