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 |