Teaching

Stanford University

2025

Validation of Safety-Critical Systems [CS238/AA228]
“Deep Neural Network Verification.”
Guest Lecturer

2024

Introduction to AI Safety [CS120]
“Formal Explainable AI.”
Guest Lecturer

University of Oxford

2020

Systems Verification [AIMS CDT]
Practical Demonstrator

2019

Probabilistic Model Checking [Part C]
Class Tutor

2018

Probabilistic Model Checking [Part C]
Class Tutor

2017

Probabilistic Model Checking [Part C]
Class Tutor

2016

Probabilistic Model Checking [Part C]
Practical Demonstrator