Rigorous Methods for Software Engineering
Lecturer, School of Mathematical and Computer Sciences, Heriot-Watt University, 2024
Teaching
Artificial Intelligence and Intelligent Agents
Lecturer, School of Mathematical and Computer Sciences, Heriot-Watt University, 2024
Programming for Data Analysis
Lecturer, School of Mathematical and Computer Sciences, Heriot-Watt University, 2022
Game-Theoretic Techniques in Logic and Verification
Co-Lecturer (with Prof. Anthony Lin and Dr Daniel Stan), Department of Computer Science, University of Kaiserslautern, 2021
Logic and Semantics of Programming Languages
Tutorial Organiser, Department of Computer Science, University of Kaiserslautern, 2019
Tutorials, exercises, and final exams organisation for Logic and Semantics of Programming Languages course winter semester 2019.
Computational Game Theory
Teaching Assistant, EPSRC Centre for Doctoral Training on Autonomous, Intelligent Machines, and Systems (AIMS), University of Oxford, 2019
Teaching assistant for Computational Game Theory course (Hilary Term 2019) at EPSRC Centre for Doctoral Training on Autonomous, Intelligent Machines, and Systems (AIMS), University of Oxford
Computational Game Theory
Tutor, Department of Computer Science, University of Oxford, 2018
Class tutor for Computational Game Theory course (Michaelmas Term 2018) in the Department of Computer Science, University of Oxford.
Logic and Proof
Tutor, Department of Computer Science, University of Oxford, 2018
Class tutor for Logic and Proof course (Hilary Term 2018) in the Department of Computer Science, University of Oxford.
Intelligent Systems
Lab Demonstrator, Department of Computer Science, University of Oxford, 2017
Lab sessions for Intelligent Systems course (Michaelmas Term 2017) in the Department of Computer Science, University of Oxford.
Intelligent Systems
Lab Demonstrator, Department of Computer Science, University of Oxford, 2016
Lab sessions for Intelligent Systems course (Michaelmas Term 2016) in the Department of Computer Science, University of Oxford.