Gonville & Caius College

Supervision arrangements

Part II

Oliver Chick oc243 Functional language for grid computing
Kathy Gray
Justus Matthiesen jm614 Formalising parts of C
Peter Sewell
Tony Qin ttq20
Yingke Shan ys333
Vytautas Vaitukaitis vv236 Eye tracking on a mobile phone
Andreas Bulling

Michaelmas Term

Peter Robinson pr10 Human Computer Interaction
TBD Principles of Communication
Graham Titmus gt19 Information Retrieval
Natural Language Processing
Kathryn Gray keg29 Denotational Semantics
Optimising Compilers
Types
TBD Security II

Lent Term

TBD Advanced Graphics
Mobile & sensor systems
E-commerce
Bharath Venkatakrishna bv238 Business Studies
Richard Gibbens rg31 Computer Systems Modelling
Digital Signal Processing
Kathryn Gray keg29 Artifical Intelligence II
Hoare Logic
Simon Moore swm11 Comparative Architectures
Christian Richardt cr333 Computer Vision

Easter Term

Kathryn Gray keg29 Temporal Logic
TBD Topical Issues
Topics in concurrency
System-on-Chip Design and Modelling