Logic and Verification (B.Sc.)
Teaching Assistant, University of Warwick, Department of Computer Science, 2020
Teaching assistant on the undergraduate Logic and Verification module, 2020 – 2023.
Duties: delivering seminars, advising laboratory experiments, and marking.