David Aspinall
Senior Lecturer in the School of Informatics, University of Edinburgh, Scotland.
In 2010-11 I am teaching:
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 taught Types and Programming Languages in 2004-6, closely following the material in Benjamin Pierce's book of 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.
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 some basic concepts of Computer Science, including automata, data structures and algorithms, alongside programming in Java.
