Teaching
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.