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.
More specifically, I work on temporal-continuous planning, planning under uncertainty, planning-as-model-checking, directed model checking, policy learning, hybrid control, reinforcement learning, heuristic search, geometric reasoning, path planning.

I am also interested in Formal Methods (dealing with automata, hardware/software verification, decision diagrams, graph algorithms) and Intelligent Information Acquisition (dealing with 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

Research Students

  • Wiktor Piotrowski: heuristics for planning in continuous domains

Professional Activities

Event Organisation

  • Conference Chair at ICAPS 2016.
  • Student Abstract and Poster Program Co-Chair at AAAI 2015. Texas, USA.
  • Workshop Co-Chair at ICAPS 2015.
  • Coordinator of Dagstuhl Seminar on Planning and Model Checking. November 2014.
  • Co-Organiser (with Scott Sanner) of the ICAPS 2015 International Hybrid Planning Competition.
  • Co-Chair of Model Checking and Automated Planning (MOCHAP-14)
  • Chair of the 5th Italian Workshop on Planning and Scheduling (IPS 2013), Turin, Italy.
  • Co-Chair of the ICAPS 2013 Workshop on Planning in Continuous Domains (PCD 2013)

Editing of Scientific Journals

Programme Committee Memberships

  • 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) PC member
  • 29th AAAI Conference on Artificial Intelligence (AAAI-15) PC member
  • 21st European Conference on Artificial Intelligence (ECAI 2014) PC member
  • AAAI 2014 Fall Symposium on Knowledge, Skill, and Behavior Transfer in Autonomous Robots (KSBT 2014) PC member
  • Robotics Science and Systems (RSS 2014) Workshop PC Member
  • 2nd ICAPS Workshop on Planning and Robotics (PlanRob 2014) PC member
  • 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) PC member
  • 1st ICAPS Wrokshop on Model Checking and Automated Planning (MOCHAP-14) PC Chair
  • 2013 IJCAI Video Competition (IJCAI'13-VC) PC member
  • 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) PC member
  • 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) PC member
  • 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) Doctoral Consortium Mentor
  • 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012) PC member
  • 21st International Conference on Automated Planning and Scheduling (ICAPS 2011) Doctoral Consortium Mentor

Service in Doctoral Consortia

  • AAAI 2015 doctoral consortium - PC member
  • AAAI 2014 doctoral consortium - DC mentor
  • ICAPS 2013 doctoral consortium - DC mentor
  • ICAPS 2011 doctoral consortium - DC mentor

International Tutorials

  • Tutorial on Planning and Model Checking in Real-World Scenarios - AI*IA 2014, Pisa, Italy, December 2014.
  • Tutorial on Planning in Hybrid Domains - AAAI-14, Quebec City, Canada, July 2014.
  • Tutorial on Planning in Hybrid Domains - ICAPS 2013, Rome, Italy, June 2013.

Invited Presentations

  • Talk on Can a Robot and a Planner Become Real Friends? - Centre for Robotics Research (CORE) - KCL, London, UK, February 2014.
  • Talk on Policy Learning for Hybrid Systems Under Uncertainty - Middlesex University, London, UK, March 2012.
  • Talk on Universal Planning for Hybrid Domains - Dagstuhl Seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, November 2010.
  • Talk on Verification and Synthesis of Hybrid Control Systems - University of Rome Tor Vergata, Rome, Italy, May 2008.

Reviewer for

  • Artificial Intelligence (AIJ)
  • Journal of Artificial Intelligence Research (JAIR)
  • IEEE Transactions on Control Systems Technology
  • IEEE Transactions on Automation Science and Engineering
  • Ocean Engineering
  • AI Communications
  • Applied Soft Computing
  • Journal of Visual Languages and Computing (JVLC)

Employment History

  • Lecturer, Department of Informatics, King's College London, UK, June 2013 - present
  • Research Associate, King's College London, UK, November 2011 - May 2013
  • Research Fellow, University of Strathclyde, UK, September 2011 - October 2011
  • Research Fellow, University of Chieti-Pescara, Italy, August 2009 - August 2011


Tel: +44 (0)20 7848 1587
Internal Ext: 1587
Office: Strand Building, S6.19
Email: daniele.magazzeni at

Department of Informatics
King's College London
Strand, London WC2R 2LS

Office hours
Wednesday : 1-3pm
or by appointment