Natural Language Processing
Guest Lecturer, University of Sheffield, School of Computer Science, 2024
Guest lectures on the Natural Language Processing module, 2024 – present.
Teaching
I have taught natural language processing, logic and formal methods at both undergraduate and postgraduate level, and co-supervised 6 Ph.D. students, whose work has so far resulted in 5 peer-reviewed publications (see Publications).
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.
Natural Language Processing (M.Sc.)
Teaching Assistant, University of Warwick, Department of Computer Science, 2020
Teaching assistant on the M.Sc. Natural Language Processing module, 2020 – 2024.
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.