In 2016-17 I am teaching:
I taught Types and
Programming Languages in 2004-6, closely following the material in
the same title.
If I were to teach this course again, I would be tempted to challenge the
students by using Coq, following the development of a formalised
course in Software Foundations
by Pierce and his collaborators.
2014: This year, Phil Wadler is teaching a new course Types And Semantics for Programming Languages which does this, using the proof assistant Coq.
I taught Human Computer Interaction jointly with Barbara Webb in 2007. Here are some slides that I put together for my parts of the course:
I claim no originality in content apart from the assembly and combination of material. Most of the material is adapted from standard HCI texts such as that by Alan Dix et al. If I was teaching this course now I would probably use the book Press On by Harold Thimbleby.
I've been involved in teaching a range of other courses in Informatics.
Most notable was the main first year Computer Science 1 course which I taught from 2000-2004, and which I was responsible for organising. We had a class size of (at times) over 300 students, a team of 5 lecturers, two teaching assistants and a dozen tutors. The course introduced basic concepts of Computer Science, including automata, data structures and algorithms, alongside programming in Java.