Haggis
Haggis — not quite a message board, not quite a wiki, but a bit of both — is online. Use it to ask and answer questions about the courses I administer and about MACS in general. Take control of your life. Help your colleagues and learn by teaching. Earn points. It's a shortcut to finding stuff out and getting stuff done. To see my model, check out stackoverflow.I will be on Haggis. You can ask me questions too. However (and consistent with the stackoverflow philosophy) I will try to take a back seat.
Programming Languages (F28PL 2010)
The course page is here. The course pages from the last three years are here (2009), here (2008), and here (2007).Formal Specification (F29FS 2010)
This course is based on Ed Currie's The Essence of Z. The course page is here. The course pages from the last two years are here and here.Talks
I have been invited to give some one-off talks on teaching. They include:- ‘Strange but True! Students stay up all night online discussing logic course’. A Flexible Learning lunchtime seminar. I discuss my experiences using a message board in teaching. Well, actually, I discuss my experiences teaching. The slides are here (pdf) and a video is here (video).
- Splatman!, a talk given to first-year students (freshers) about the opportunities and perils of university life.
- Technical writing (pdf,flash video), a talk on technical writing.