• University of Toronto, Department of Computer Science, Toronto, Canada (December 2018)
  Autonomous Target Search with Multiple Coordinated UAVs
  
  
• IBM Research, Cambridge, MA, USA (October 2018)
  Large-Scale Autonomous Search-and-Tracking via AI Planning and Probabilistic Reasoning
  
  
• MIT, Computer Science & Artificial Intelligence Lab (CSAIL), Cambridge, MA, USA (August 2018)
  Large-Scale Autonomous Search-and-Tracking via AI Planning and Probabilistic Reasoning
  
  
• Callen-Lenz, Salisbury, UK (January 2018)
  Probabilistic vs Deterministic Methods for Large-Scale Autonomous Search-and-Tracking
  
  
• ASV Global, Portchester, UK (January 2018)
  Autonomy via AI Planning and Probabilistic Reasoning
  
  
• VTOL Technologies, Wokingham, U.K. (December 2017)
  Autonomy via AI Planning and Probabilistic Reasoning
  
  
• Schlumberger, Cambridge, U.K. (October 2017)
  Probabilistic vs Deterministic Methods for Large-Scale Autonomous Search-and-Tracking
  
  
• United Nations - International Telecommunication Union
  ITU-Academia Partnership Meeting: Developing Skills for the Digital Era Budapest, Hungary (September 2017)
  Developing Skills for the Digital Era: the Role of Academic Institutions
  
  
• Southampton University, Electronics and Computer Science Department, Southampton, UK (September 2017)
  Autonomous Decision Making for Search and Tracking with Multiple Coordinated UAVs
  
  
• LAAS – CNRS, Toulouse, France (July 2017)
  Probabilistic vs Deterministic Methods for Large-Scale Autonomous Search-and-Tracking
  
  
• Lockheed Martin, Havant, Hampshire, UK (January 2017)
  Probabilistic vs Deterministic Methods for Large-Scale Autonomous Search-and-Tracking
  
  
• NASA Ames Research Center, Moffett Field, CA, USA (December 2015)
  Autonomous Surveillance Missions via Temporal Planning
  
  
• Rescue Global, London, UK (April 2015)
  Autonomous Surveillance Missions via Temporal Planning
  
  
• Model-Based Embedded and Robotics Systems Group, CSAIL, MIT, Cambridge, MA, USA (January 2015)
  Autonomous Search-and-Tracking via Temporal Planning
  
  
• King’s College London, Department of Informatics, London, UK (May 2012)
  Automatic Synthesis of Temporal Invariants
  
  
• Microsoft Research, Cambridge, UK (February 2012)
  Constraint-based Temporal Planning: Domain Modelling and Search Control
  
  
• Palo Alto Research Center (Xerox PARC), Palo Alto, CA, USA (August 2011)
  Translating PDDL2.2 into a Constraint-based Variable/Value Language
  
  
• NASA Ames Research Center, Moffett Field, CA, USA (August 2011)
  Automatic Synthesis of Temporal Invariants
  
  
• Institute for Intelligent Systems and Robotics, CNRS, Paris, France (May 2009)
  Scaffolding children’s social skills through embodied interactions in a 3D environment
  
  
• School of Informatics, University of Edinburgh, Edinburgh, UK (May 2009)
  Constraint-based Temporal Planning: Domain Modelling and Search Control
  
  
• LAAS – CNRS, Toulouse, France (September 2008)
  Constraint-based Temporal Planning: Domain Modelling and Search Control
  
  

Collaborations with Industry