blocks_image

I am lecturer in Artificial Intelligence in the Department of Informatics at King's College London.

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.
I am an elected member of the ICAPS Executive Council.

Publications

Please see my list of publications.

Grants

  • 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)

Software


Professional Activities

Editing of Scientific Journals

Chair

  • 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

  • Associate Editor at ICRA-18

  • 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

Education

Contact
Tel: +44 (0)20 7836 1587
Internal Ext: 1587
Office: Bush House, N7.20
Email: daniele.magazzeni at kcl.ac.uk

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

Office hours
Wednesday : 10.30-12.30.
or by appointment