Class sign up

From Spivey's Corner
Jump to: navigation, search

St. Catherine's, Somerville, University and Oriel Colleges

Computer Science Classes for 2016–17

Sign upClass members

Please add your initials under a class in order to sign up for it. To do this, you'll have to click on the Edit link for the appropriate section, and remember to save your changes. And to do that, you'll have to create an account. (If you have lots of changes to make, it's easier to click on the Edit tab at the top of the page.)

Michaelmas Term

Models of Computation

Catz: MB, HH, MJ, DXM, EM, MJR, ES, YS, WS, HV, ZY (tutorials with Christoph Hasse)

Oriel: TC, AS, AR, GS, JF, JG (tutorials with Artem Kaznatcheev, weeks 2468)

Somerville: GCS, IM, FR, OGV (classes with Quentin Miller, Thursdays 11.00-12.00 or 12.00-13.00, weeks 2468)

Univ: EW, LM, MS, JM

Compilers

Catz: MB, MJ, ES, YS, WS, HV, ZY, CT? (tutorials with Karel Hruda)

Oriel: TC, AS, AR, AV?, GS, JF (tutorials with Mike Spivey, weeks 3578)

Somerville: GCS, AH (classes with Quentin Miller, Wednesdays 13.50-14.50, weeks 3578)

Univ: CV (classes with Quentin Miller, Wednesdays 13.50-14.50, weeks 3578)

Databases

Catz: ZY YS MB, MJ?

Somerville: GCS

Oriel: BP, AR

Univ: LM, JC, MS

Classes with Bernardo Grau. Group 1: Mondays 5-6pm Weeks 4,5,7, and 8. Group 2: Tuesdays 15-16, Weeks 4,5,7, and 8. Both groups will have the tutorials in Room 013 RHB.

Intelligent Systems

Catz: DXM, HH, ZY, EM, YS, MB, HV, MJR, WS, MJ, ES: Classes with Shimon Whiteson Fridays weeks 2468:

  • 13:30-14:30 (MJ,WS,ES)
  • 14:45-15:45 (EM, YS, MB, MJR)
  • 16:00-17:00 (HV, HH, DXM, ZY)

Somerville, Oriel, Univ: classes with Bernardo Grau. Tuesdays 14-15 Weeks 3,5,7,8 (Room 051)

Somerville: TD, GCS

Oriel: AS, AR, GS

Univ: JC

Computer-Aided Formal Verification

Classes David Mestel Tuesdays weeks 3468 4–5pm and maybe also 3–4pm depending on numbers, location TBC

Catz: SL, NH

Somerville: IV FR

Oriel: HP AV

Univ:

Computer Security

One class with Bill Roscoe, one class with Andrew Ker – Univ, Somerville and 5 from Catz

Somerville: IV, TD, PHB, IM, GCS

Univ: MR, GV, CV

Catz: NH, AC, WS, MJ?, ES

Class with Marcel Stolz – HP, AP, AV, AI (Oriel) and CS, SL, CT (Catz); Wednesdays 3-4pm, 3rd, 4th, 6th and 8th week, Sanders room, Oriel College

Machine Learning

Classes with Shimon Whiteson, Catz ABB-3, Fridays weeks 357 of MT, Thu week 0 of HT

Catz: CS CT?, SC, AC: 16:15-17:15

Somerville: IV, TD, PHB, AH: 9:45-10:45 (in week 3: Thu 16:00)

Oriel: AS HP AP AI GS: 13:45-14:45

Univ: GV, CV, JC: 12:15-13:15

Principles of Programming Languages

Catz: SL CT TD NH WP JAW

Somerville: PHB

Oriel: AV, JF, JG

Univ: MR, DM, CV

Classes with Quentin Miller, Somerville (Park 40), Fridays weeks 3578

11.00-12.00 (SL, MR, WP)

12.00-13.00 (CT, NH, PHB, AV, DM, CV)

15.00-16.00 (TD, JAW, JG, JF)

Please sumbit work at Somerville or CS by Wednesday lunchtime

Geometric Modelling

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

Catz: CS TD

Somerville: IV

Oriel: AI?

Univ:

Integer Programming

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

Catz: CS? Oriel: AI?

Hilary Term

Concurrent Programming

Catz: MB, MJ, ES, YS, WS, HV, ZY, MJR

Oriel: AS, AR, GS

Somerville: GCS, JM

Univ: JM

Algorithms

Catz: MB, HH, MJ, DXM, EM, MJR, ES, YS, WS, HV, ZY, UG

Oriel: TC, AS, AR, GS, JF, JG, AP

Somerville: GCS, IM, FR, OGV, TD, AH

Univ: MR, EW, LM, MS, JM

Logic and Proof

Catz: SC, EM, HV, MJR, ES

Somerville: FR

Oriel: AS, GS

Univ: EW

Computer Architecture

Catz: SL, TD, YS, HV, WS, ES

Somerville:

Oriel: AR

Univ: CV

Computational Complexity

Catz: CS CT? NH? DXM HH WP WS

Somerville: IV, TD, IM

Oriel: HP AP, AV, AI, GS BP

Univ: MR, JC

Knowledge Representation and Reasoning

Catz: SL CT? TD? NH WP

Somerville:

Oriel: TC BC

Univ:GV, JC

Lambda Calculus and Types

Catz: CS?, SL, CT, TD, NH, WP, SC, ZY, MB, MJ

Somerville: IV, TD, PHB, AH, GCS

Oriel: AS HP AP, AV?, AI JF, BP

Univ: MR, GV, DM, EW, CV, JC, MS, JM

Set Theory

We expect that the Consortium will not offer classes in this subject; please attend Departmental classes.

Catz: CS CT NH WP

Oriel: AP AI

Univ: GV, JC

Trinity Term

Concurrency

Catz: CT TD, ZY YS, MB, HV, MJ

Somerville: IM FR

Oriel: AR, AI?

Univ: EW, LM, MS, JM

Computer Graphics

Catz: HH, DXM, UG, ZY, EM, YS, MB, WS, MJ

Somerville: GCS

Oriel: AS, AR, GS

Univ:

Computer Networks

Catz: AC, FZ, HV, WS, ES

Somerville: GCS

Oriel: AR? BP

Univ: MR, MS

Personal tools

Variants
Actions
Navigation
Tools