blocks_image

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.

I am also interested in Formal Methods (automata, decision diagrams, graph algorithms) and Intelligent Information Representation (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

Professional Activities

Editing of Scientific Journals

Event Organisation

  • Conference Chair at ICAPS 2016.
  • Student Abstract and Poster Program Co-Chair at AAAI 2016. Phoenix, Arizona USA.
  • Co-Chair of the 2nd Workshop on Model Checking and Automated Planning (MOCHAP 2015)
  • Workshop Co-Chair at ICAPS 2015.
  • Student Abstract and Poster Program Co-Chair at AAAI 2015. Texas, USA.
  • Co-Chair of the 6th Italian Workshop on Planning and Scheduling, Ferrara, Italy, September 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)

Programme Committee Memberships

  • 30th AAAI Conference on Artificial Intelligence (AAAI-16)
  • 19th International Conference on Hybrid Systems: Computation & Control (HSCC 2016)
  • 29th International FLAIRS Conference (FLAIRS-29)
  • 24th International Joint Conference on Artificial Intelligence (IJCAI-15)
  • 25th International Conference on Automated Planning and Scheduling (ICAPS 2015)
  • 28th Australasian Joint Conference on Artificial Intelligence (AI 2015)
  • 29th AAAI Conference on Artificial Intelligence (AAAI-15)
  • 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR @ CAV-15)
  • 22nd International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA-2015)
  • 2nd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2015)
  • 3rd ICAPS Workshop on Planning and Robotics (PlanRob 2015)
  • 32nd Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG 2014)
  • 21st European Conference on Artificial Intelligence (ECAI 2014)
  • AAAI 2014 Fall Symposium on Knowledge, Skill, and Behavior Transfer in Autonomous Robots (KSBT 2014)
  • Robotics Science and Systems (RSS 2014)
  • 2nd ICAPS Workshop on Planning and Robotics (PlanRob 2014)
  • 24th International Conference on Automated Planning and Scheduling (ICAPS 2014)
  • 1st ICAPS Wrokshop on Model Checking and Automated Planning (MOCHAP-14)
  • 2013 IJCAI Video Competition (IJCAI'13-VC)
  • 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)
  • 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
  • 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) Doctoral Consortium Mentor
  • 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
  • 21st International Conference on Automated Planning and Scheduling (ICAPS 2011) Doctoral Consortium Mentor

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

International Tutorials

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

Reviewer for

  • Artificial Intelligence (AIJ)
  • Journal of Artificial Intelligence Research (JAIR)
  • IEEE Transactions on Control Systems Technology
  • IEEE Transactions on Automation Science and Engineering
  • Autonomous Robots
  • Journal of Mechanisms and Robotics
  • 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

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
Wednesday : 1-3pm
or by appointment