Teaching

• Course material for 120.2 Introduction to Java programming
  • the complete set of slides
  • the complete set of notes (these are the slides 4 up)
  • the code from the slides
  • some code for exercises in the slides
  • sample 3 hour Java test and skeleton code
  • November Java test and skeleton code
  • Sudoku tutorial with code
  • Cards tutorial with code
  • December Java test and skeleton code
• I enjoy supervising projects related to programming language design.
• Award 2002: Imperial College Teaching Fellow
• As described in the the Times Higher
• Course material for Program Reasoning