Teaching 2009 - 2010
Throughout the year
Office hours (including tutoring and BSc/MSc project mtgs)
Monday 13.00-14.00 (room 441)
Spring term
Software Engineering - Systems verification 303
Timetable:
Thursday 10.00-11.00 Room 145 (lecture)
Thursday 14.00-15.00 Room 145 (lecture)
Thursday 15.00-16.00 Room 145 (tutorial)
Please refer to the course's web page for a detailed breakdown.
Autumn term
Hardware 112
(with Prof Duncan Gillies)
Timetable:
Monday 16.00-17.00 Room 308 (lecture)
Monday 17.00-18.00 Room 343, 344 (tutorial)
Tuesday 11.00-12.00 Room 308 (lecture)
Please refer to the course's web page for the lecture notes.
Personal Mathematics Tutoring (Autumn and Spring term)
Friday 14.00-15.00 (room 219)
Sessions run with Mr John Psomopoulos.