Module teaching
CS3104: Operating Systems, and CS4202: Computer Architecture.
Academic practice
Teaching
Looking ahead
Upcoming academic year
Academic administration
First-level Coordinator, and Visiting Day Coordinator
Teaching record
Previous academic years
2025–26
Teaching
CS3104: Operating Systems, and CS4202: Computer Architecture
Administration
First-level Coordinator, and Visiting Day Coordinator
2024–25
Teaching
CS3104: Operating Systems, and CS4202: Computer Architecture
Administration
First-level Coordinator, Visiting Day Coordinator, Subhonours Adviser
2023–24
Teaching
CS1007: Computer Systems Fundamentals, and CS4202: Computer Architecture
Administration
First-level Coordinator, Visiting Day Coordinator, Subhonours Adviser
2022–23
Teaching
CS1007: Computer Systems Fundamentals, and CS4202: Computer Architecture
Administration
Subhonours Adviser
2021–22
Teaching
CS4202: Computer Architecture
Administration
-
Mentorship
Student supervision
Currently supervising
Ferdia McKeogh
Fast Instruction Set Simulation from Formal Specifications
Jason To
Hardware Accelerated Full-system Instruction Set Simulation
Saffron McIver
Make Unikernels Great
Kimberley Stonehouse
Hardware Accelerated Just-in-time Compilation
Previously supervised
2026
Amir Khordadi
When, Where, and How to Compile: Revisiting Dynamic Compilation Policies