Teaching

 

Scientific computing

Introduction: SE4EEE Foreword.pdf

Lectures: SE4EEE Lectures.zip

Study Groups: SE4EEE Study Groups.pdf
    [Study Group 1, Q8 is a joke. A pity that I am compelled to spell this out, but it does seem that some people do misplace their sense of humour somewhere on the Exhibition Road.]

Sample Code: DrinkingGame.dpr
    [More to come]

Extras: SE4EEE Set Thy Intro.pdf, SE4EEE MultiChoice.pdf, Oh go on then
    [I had nothing to do with the third one...]

Artificial Intelligence

Lectures: AI Lectures pdf.zip

Coursework: AI Coursework 1 2008.pdf, AI Coursework 2 2008.pdf
    [For exemplary purposes only; it changes every year. If you are an IC student in search of     this year`s coursework, make sure you have the right version.]

Computational Logic: AI CompLog Primer.pdf

Sample Code: AI Code.zip
    [The GGS engine, breadth- and depth-first instances, two examples; game of nim; two proof checkers for propositional logic.]

Proof Tool: WINKE.zip
    [By Ulle Endriss for Windows, based on MacKE for Mac by Jeremy Pitt. No guarantees it still works. Do not contact Ulle about it; he no longer supports it. You will need this font WINKE.TTF.]

ISE 3rd Year MEng Group Project

Lectures: ISE3 SGP Lectures.zip

Self- & Peer-Assessment: ISE3 SGP Marksheet.pdf

Human-Computer Interaction

Lectures: HCI Lectures.zip

Tutorials: HCI Tutorials.zip

Short Courses

Intelligent Agents (University of Kyushu, Fukuoka, Japan, 2002)

Advanced Training Course on Advances in Signal Processing, Digital Communications and Network Computing (Hitachi, 1997; Imperial College London, 1998/99)

Miscellany

First Year Electronics Laboratory, 2007-08

Digital Electronics Study Groups

MSc Project Supervisor: 11 projects, 6 Distinctions; Imperial College Department of Computing, 1991-1999.

MSc Project Supervisor: 12 projects, 2 distinctions; British Telecom/University of London MSc in Telecommunications, 1997-2008.