Teaching Activities

I no longer perform any teaching duties or student-facing support. Here is a list of Swansea University modules which I have supported in the past:

• CSCM985 (Logic and Verification Techniques) under Markus Roggenbach and Monika Seisenberger
• CSM813/313 (Critical Systems) under Anton Setzer
• CS 385 (Modelling and Verification Techniques), under Ulrich Berger
• CS 375 (Logic for Computer Science), under Ulrich Berger
• CS 364 (Software Testing), under Eike Neumann
• CS 205 (Declarative Programming), under Cécilia Pradic and Monika Seisenberger
• CS-135 (Professional Issues II: Software Development), under Markus Roggenbach
• CS 005 (Probability), under Angelica Pachon and Matt Roach