blocks_image

Dan is a lecturer in the Department of Informatics at King's College London, member of the Planning Group.


Funded PhD position available on AI Planning for Intelligent Urban Traffic Control
Starting date: October 2016. Deadline for applications: February 2016.
For any informal queries, please email me.

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.
  • Co-Chair of the AAAI workshop on Planning for Hybrid Systems. Phoenix, Arizona USA.
  • 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

  • Senior PC member at IJCAI-16
  • 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

  • AAAI 2016 doctoral consortium - PC member
  • 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
Tuesday : 2-4pm
or by appointment