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