blocks_image

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 hybrid systems, robotics, smart cities, and intelligent traffic control.

Research Students and PostDocs

  • Wiktor Piotrowski (PhD Student): Heuristic Planning for Hybrid Domains
  • Emre Savas (PhD Student): Planning with Control Parameters
  • Claudio De Mutiis (PhD Student): Planning for Urban Traffic Control
  • Michael Cashmore (PostDoc): SMT Planning
  • Chiara Piacentini (PostDoc): Planning for Smart Grid and Smart Cities

Grants

  • EU FP7 Project SQUIRREL (Co-Investigator)
  • EU FP7 Project PANDORA (Co-Investigator)

Professional Activities

Editing of Scientific Journals

Event Organisation

  • PC Chair of AAAI-17 Special Track on Integrated System.
  • Workshop Chair at IJCAI 2017.
  • Organiser of the Dagstuhl Seminar on Planning and Robotics, Germany, January 2017.
  • Conference Chair at ICAPS 2016.
  • ...see more.

Programme Committee Memberships

  • 20th International Conference on Hybrid Systems: Computation & Control (HSCC 2017)
  • Senior PC member at IJCAI-16
  • Senior PC member at ECAI-16
  • 30th AAAI Conference on Artificial Intelligence (AAAI-16)
  • 29th International FLAIRS Conference (FLAIRS-29)
  • ...see more.

Service in Doctoral Consortia

  • AAAI 2014, 2015, 2016 (PC member and DC mentor)
  • ICAPS 2011, 2013, 2015 (DC mentor)

International Tutorials

  • Tutorial on Planning for Hybrid Systems, at ECAI 2016, 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.

Invited Talks

  • Talk on What is Artificial Intelligence, a threat or a new beginning? - King's Robotics Society, London, UK, February 2015.
  • 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.

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 7848 1587
Internal Ext: 1587
Office: Strand Building, S6.19
Email: daniele.magazzeni at kcl.ac.uk

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

Office hours
Tuesday : 2-4pm
or by appointment