Supervisions with Kathy Gray

Contact information:
Office: Gates building, FS12
Phone: 69023
Emergency contact (i.e. you're running late): 07726 435811

Handing in supervision work:

Submit your work to the Supervision work box in the Gates building before the final collection the day before your supervision.

Note: Partial work or attempted work is better than no work at all. Supervisions may be cancelled if no work is submitted, which may result in nagging and other penalties may be incurred.

Supervision work:


Michaelmas Term
Computer Design
 First
 Second
 Third
Logic and Proof
 First(pdf)
 Second
 Third
AI
 First
 Second
 Third
Denotational Semantics
Types
First
Second
Optimizing Compilers
First
 Second Third Fourth

Lent Term
Operational Semantics
 First
 Second
 Third
Computation Theory First Second Third
Compiler Construction
 First Second Third Fourth
AI II
 First

Easter Term
Complexity Theory
 First Second
Concepts in Programming Languages
 First Second