Teaching


2017
Tutor for Systems Verification, Department of Computing, Imperial College London.

2016
Tutor for Systems Verification, Department of Computing, Imperial College London.
2015
Tutor for Modal Logic, Department of Computing, Imperial College London.
Tutor for Systems Verification, Department of Computing, Imperial College London.
2014
Tutor for Modal and Temporal Logic, Department of Computing, Imperial College London.