Teaching

Here in Sheffield I teach the course COM4506-6506: "Testing and Verification in Safety-Critical Systems".

I am also facilitator for COM3420: "Software Hut".

I will teach the second half of the "Linear Logic" course at Midlands Graduate School 2025.

For the courses in Sheffield, please refer to Blackboard for material.