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 Planning and Model Checking, with a particular focus on eXplainable Planning, hybrid systems, robotics and autonomous systems (RAS), smart cities.


Please see my list of publications.


  • EU FP7 Project SQUIRREL (Co-Investigator)
  • EU FP7 Project PANDORA (Co-Investigator)
  • Impact Accelerator Grant: AI for Urban Traffic Control (Principal Investigator)
  • Industrial Grant: AI Planning for Real-World Applications (Principal Investigator)


Professional Activities

Editing of Scientific Journals


  • Chair of ICAPS-18 Special Track on Robotics.
  • Workshop Chair at IJCAI 2017.
  • PC Chair of AAAI-17 Special Track on Integrated Systems
  • Organiser of the Dagstuhl Seminar on Planning and Robotics. January 2017.
  • Conference Chair at ICAPS 2016.
  • ...

Programme Committee Memberships

  • Senior PC member at IJCAI-17
  • PC member at ICAPS-17
  • PC member at HSCC-17
  • PC member at AAAI-17
  • PC member at FLAIRS-17
  • Senior PC member at ECAI-16
  • ...

International Tutorials

  • Tutorial on AI Planning for Robotics, at ICRA-17, Singapore, May 2017.
  • Tutorial on AI Planning for Robotics, at AAAI-17, San Francisco, USA, February 2017.
  • Tutorial on Planning for Hybrid Systems, at ECAI-16, The Hague, Holland, August 2016.
  • Tutorial on Planning and Scheduling for Real-World Applications, at AAAI-16, Phoenix, USA, February 2016.
  • Tutorial on Planning with PDDL+, at ICAPS 2015, Jerusalem, Israel, June 2015.
  • Tutorial on Planning and Model Checking in Real-World Scenarios, at AI*IA 2014, Pisa, Italy, December 2014.
  • Tutorial on Planning in Hybrid Domains, at AAAI-14, Quebec City, Canada, July 2014.
  • Tutorial on Planning in Hybrid Domains, at ICAPS 2013, Rome, Italy, June 2013.

Service in Doctoral Consortia

  • ICAPS 2011-2015. AAAI 2014-2016.

Invited Talks

  • AI Planning for Complex Systems, Massachusetts Institute of Technology: MIT, July 2017.
  • Artificial Intelligence Planning for Complex Systems, University of Oxford, May 2017.
  • AI Planning for Business Solutions, Microsoft Research, Copenhagen, February 2017.
  • AI planning for StartUps, Accelerace, Copenhagen, February 2017.
  • AI Planning and Deep Learning: Strong Competition or Powerful Synergy ? - Google DeepMind, London, July 2016.
  • Automated Planning and Verification - A Never-Ending Story - SafePlan-16, London, June 2016.
  • What is Artificial Intelligence, a threat or a new beginning? - King's Robotics Society, London, UK, February 2015.
  • Can a Robot and a Planner Become Real Friends? - Centre for Robotics Research (CORE) - KCL, London, UK, February 2014.
  • Policy Learning for Hybrid Systems Under Uncertainty - Middlesex University, London, UK, March 2012.
  • Universal Planning for Hybrid Domains - Dagstuhl Seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, November 2010.
  • Verification and Synthesis of Hybrid Control Systems - University of Rome Tor Vergata, Rome, Italy, May 2008.

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
Tuesday : 2-4pm
or by appointment