Teaching


Currently, I am the Director of the MSc in Artificial Intelligence at Royal Holloway. I am the leader of three courses: AI Principles and Techniques, Intelligent Autonomous Systems and Ethics in AI. From 2015 to 2019, I was in charge of two core courses in the MSc in the Internet of Things (IoT): Interconnected Devices and Wireless Sensor and Actuator Networks. The video presents these two modules and my teaching style.







2019/20


CS5960: Artificial Intelligence Principles and Techniques
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: Intelliget Agents, Uninformed and Informed Search, Game Theory.

CS5980: Intelligent Autonomous Systems
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: CSP, AI Planning, Probabilisti Reasoning.

CS5900: Ethics in Advanced Computig and AI
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: Trustworthy AI systems, Value alignment, Algorithmic Fairness, Privacy, etc.

2018/19


16.410/16.413: Principles of Autonomy and Decision Making
Guest Lecturer
MIT - Massachusetts Institute of Technology, Cambridge, MA, USA.
Topics: Automated Planning, Autonomy, Game Theory

CS5870: Wireless Sensor and Actuator Networks
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: Algorithms and protocols for WSNs, ZigBee Mesh Networking

2017/18 and 2016/17


CS5840: Interconnected Devices
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: Introduction to the Internet of Things, Interfacing with Arduino

CS5870: Wireless Sensor and Actuator Networks
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: Algorithms and protocols for WSNs, ZigBee Mesh Networking

2015/16


CS1840: Internet Services
Royal Holloway, University of London. Egham, Surrey, UK.
Topics: the Internet stack, web technologies, network security, HTML, XML, JavaScript, PHP, Java Socket Programming

2015


Crash Course in Autonomy, i.e., Programming Cognitive Robots
Special Guest Lecture: Autonomous Search-and-Tracking via Temporal Planning
MIT, Cambridge, MA, USA, January 2015
Topics: autonomous surveillance missions, search-and-tracking, unmanned aerial vehicles (UAVs), micro aerial vehicles (MAVs), temporal and metric planning

2014


Agents and Multi-Agent Systems
Special Guest Lecture: Autonomous Intelligent Agents in Action: Agents on Earth and Agents in Space
King's College London, London, U.K., December 2014
Topics: autonomous agent architectures, planning agents, affective agents. Case studies: intelligent virtual agents and social robots for autism, autonomous UAVs for surveillance

2013


Autonomous Intelligent Agents in Action: Agents on Earth and in Space
15th European Agent Systems Summer School. London, U.K., July 2nd, 2013.
Topics: autonomous agent architectures, affective agents, planning agents. Case studies: intelligent virtual agents and social robots for autism, autonomous UAVs for surveillance, autonomous exploratory rovers

2012


Research Methods in Learning Technologies
(jointly taught with Alex Poulovassilis)
Birkbeck, University of London, Learning Technologies MSc. London, U.K.
Topics: educational games, user modelling, cognitive modelling, modelling of affects, intelligent learning environments

Pedagogy, Adaptivity and Technology
(jointly taught with Kaska Porayska-Pomsta)
Institute of Education, University of London, Learning Technologies MSc. London, U.K.
Topics: user modelling, basics of probability theory, Bayesian Networks

Learning and Teaching with Technology
(jointly taught with Kaska Porayska-Pomsta)
Institute of Education, University of London, Learning Technologies MSc. London, U.K.
Topics: educational games, user modelling, cognitive modelling, modelling of affects, intelligent learning environments

2011


Learning and Teaching with Technology
(jointly taught with Kaska Porayska-Pomsta)
Institute of Education, University of London, Learning Technologies MSc. London, U.K.
Topics: knowledge representation and reasoning, propositional logic, first-order logic, knowledge-based intelligent agents

2005


Artificial Intelligence
(jointly taught with Luigia Carlucci Aiello)
University of Rome “La Sapienza”, Computer Science and Engineering Department. Rome, Italy
Topics: automated Reasoning, logic, constraint satisfaction problem (CSP), diagnosis, abductive reasoning, model checking

Introduction to Programming Languages
(jointly taught with Marco Benedetti)
University of Trento, Computer Science and Engineering Department. Trento, Italy
Topics: introduction to computer science, introduction to C++, introduction to algorithms, introduction to data structures

2004


Operating Systems
(jointly taught with Marco Aiello)
University of Trento, Computer Science and Engineering Department. Trento, Italy
Topics: introduction to Unix, concurrent programming, Java threads and monitors

Advanced Programming Languages
(jointly taught with Marco Roveri)
University of Trento, Computer Science and Engineering Department. Trento, Italy
Topics: object-oriented design, advance topics in C++, complexity theory


Supervision


Supervision of PhD students


Mohammad Hadi Sarajchi
Royal Holloway University of London (January 2018 - present)
Leverhulme Magna Carta Doctoral Training
Effective use of drones in emergency response – A socio-technical perspective
  • Investigation of both the technical and the social aspects of the use of drones in emergency management;
  • Design and implementation of technology that will facilitate the use of autonomous drones by emergency responders and will assist them in understanding and using the data gathered by drones;
  • Interdisciplinary project in AI and Information Systems.

Kyle Booth
University of Toronto (April 2018 - present)
Autonomous Search-and-Tracking via Multiple Coordinated Drones
  • Search-and-Tracking via a team of autonomous UAVs;
  • Constraint Programming (CP) formulations of Search-and-Tracking;
  • Decomposition techniques, e.g. logic-based Benders decomposition.

Supervision of postdocs


Chiara Piacentini
University of Toronto (September 2016 – present)
Automated Plan-Based Policy-Learning for Surveillance Problems

Bram Ridder
King's College London (November 2015 – April 2015)
Planning Distributed Search Operations