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.

Publications

Please see my list of publications on dblp.

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

  • SMTPlan+ Planner website
  • ROSPlan: AI Planning for ROS Project ROSPlan

Professional Activities

Editing of Scientific Journals

Chair

  • PC Chair of AAAI-17 Special Track on Integrated Systems
  • Workshop Chair at IJCAI 2017.
  • 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 2015 doctoral consortium - DC mentor
  • AAAI 2015 doctoral consortium - PC member
  • AAAI 2015 doctoral consortium - DC mentor
  • AAAI 2014 doctoral consortium - DC mentor
  • ICAPS 2013 doctoral consortium - DC mentor
  • ICAPS 2011 doctoral consortium - DC mentor

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