Formal Systems Development (M.Sc.)
Teaching Assistant, University of Warwick, Department of Computer Science, 2021
Teaching assistant on the M.Sc. Formal Systems Development module, 2021 – 2022.
Duties: delivering seminars, advising laboratory experiments, and marking.