Currently teaching:

1. •Introduction to Computer Science (1st year undergraduate) — Lecturer,  Fall 2011,12,13
   

2. •Computer Architecture II (undergraduate)  — Lecturer,  Spring 2013, 14
   

3. •Microprocessors (undergraduate) — Lecturer,  Spring 2012
   

4. •Computer Architecture (graduate)  — Lecturer,  Spring 2014
   

5. •Parallel Systems (graduate) — Co-Lecturer with V. Dimakopoulos, Spring 2012
   

Past courses at U. of Edinburgh:

1. •Energy-Aware Computing (4th year undergraduate, MSc) — Lecturer, Winter 10, 08, 07
   

2. •Computer Design (3rd year undergraduate) — Co-Lecturer with Nigel Topham, Winter 10
   

3. •Informatics 2C - Computer Systems & Software Engineering (2nd year undergraduate) — Lecturer for the systems part, Winter 07, 06, 05
   

4. •Computer Networking (4th year undergraduate, MSc) — Lecturer, Spring 07, 06, 05
   

5. •Computer Programming Skills and Concepts 1 (1st year undergraduate) — Lecturer, Winter 08
   

6. •System Design Practical (3rd year undergraduate) — Group mentor,  Spring 06, 05
   

Graduated BSc students:

1. •Leon Brown (2009) - Design of an iterative booth multiplier
   

2. •Jonathan Baird (2009) - Architectural improvements to the OpenRISC processor
   

3. •Lewis Taylor (2008) - Baseline processor for Inf2C processor design practical
   

4. •Cedric Rashid (2007) - The baby monitor
   

5. •Michael Liu (2006)  - Design and evaluation of a transparently-pipelined microprocessor
   

6. •Tom Marchant (2006) - Visualisation of asynchronous pipeline operation
   

7. •Murray Coventry (2006) - Web-based survey system for coursework feedback
   

8. •Robin Lyles (2005) - Networking out of the box