Teaching
Lectures
I gave three lectures for the 2007/8 Algorithms and Data Structures course, on the topics of "Types in Ada", "Generics in Ada" and "Software Testing".
I prepared and delivered one lecture for the 2006/7 Algorithms and Data Structures course, focusing on Ada and the use of generics. The slides are available at the bottom of this page.
Marking
I was responsible for marking half the reports from the open assessment for the 2006/7 Algorithms and Data Structures course. I also contributed to the setting of the exam, and the organisation of the other necessary marking.
Demonstrating
I have demonstrated on the following courses:
- 2007/8
- FUN (functional programming in Haskell)
- CGO (code generation and optimisation)
- ADS (algorithms and data structures in Ada)
- 2006/7
- FUN (functional programming in Haskell)
- CGO (code generation and optimisation)
- ADS (algorithms and data structures in Ada)
- 2005/6
- FUN (functional programming in Haskell)
- ICM (introduction to discrete maths)
- ADS (algorithms and data structures in Ada)
- 2004/5
- FUN (functional programming in Haskell)
- CRY (cryptography)
- ADS (algorithms and data structures in Ada)