Class sign up

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

Computer Science Classes for 2012–13

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.

Michaelmas Term

Models of Computation

Catz students (SL, LB, PY, MS, AET, VY), with Gavin, Fridays, Weeks 2, 4, 6, 8, 11.30-1 and 2-3.30
Som students (EM, AS, WJ) with Quentin, Tuesday 11.30-1, weeks 3,5,7,8
Univ students (JA, IA, TH, JP), Andrew Ker, Fridays, Weeks 1, 2, 5, 7, times as arranged
Oriel students (JZ, HC, SV): Friday 2, weeks 2–8.

Object Oriented Programming

JA, JP, TH, IA, AET, EM, AS, WJ, SL, LB, PY, MS

Oriel students (JZ, HC, SV): Friday 2, weeks 2–8.

Computer Graphics

JZ?, JA, AZ, PY, MS

Victor Spirin: Wednesdays 4-5pm, weeks 3, 5, 7, 8 at St. Catz, 14.1 Quad South (different room tba for 8th week). Work to Victor's pidge at the CS department by 5pm Monday.

Databases

JZ?, JA, BE, SL, LB, PY?, AZ?, MS, SV

Bernardo: Friday 9am, week 3. Further classes TBA.

Computer-Aided Formal Verification

12:00-1:00: JT, BE, JM
1:30-2:30: LP?, YG, MP

Tom Gibson-Robinson. Thursdays in Catz (room TBA) weeks 3,5,7 and 8. Work due in by 1pm the day before either to Catz or the department.

Computer Security

JM, LP, JR, MP – Fridays at 11am
BE, NW, TK, EB, JT – Fridays at 2pm

Andrew Ker, weeks 3, 4, 6, 8. Work due in to the CS department by Thursdays at 2pm.

Intelligent Systems

MP, NW, JM, JR, TK, AZ?, EB

Bernardo: Thursday 5pm, weeks 3, 5, 7, 8.

Machine Learning

NW(?), TK?, LP, AZ, YG, EB

Yee Whye. Weeks 3, 5, 7, 8. Wednesdays at 5pm. Room 6, 9 Merton St. Work due Monday 6pm at Porter's Lodge, Univ.

Principles of Programming Languages

MP, NW, JT, JM, JR, LP, EB

Friday 12:15, weeks 3, 5, 7, 8. Work to Oriel lodge by 9am.

Lambda Calculus and Types

JT, JR, NW, RA (Tue 11-12)
MP, JM, LP, YG (Wed 2-3)

Quentin, weeks 3-8 Somerville (Darbishire 15)

Hilary Term

Concurrent Programming

Tom, Wednesdays 3,5,7,8:
- SL, LB, PY, MS, CL: 3-4pm
- AET, WJ, EM, AS: 4-5pm
JZ, JA, HC, SV, JP, TH, IA

Advanced Data Structures and Algorithms

JZ, BE, SV, TK, LB?, PY, MS
Ventsi, Oriel, Harris seminar room.
week 3: Thursday at 12.30, all
weeks 4, 6, 8:

     – Thursday 15.30 SV, JZ, BE, TK
     – Thursday 16.30 PY, LB, MS, Christopher Lin

work in by 8.15 pm on Tuesday to Oriel lodge

Compilers

JZ, JA, SV, JT, TK, SL, LB, PY, MS
Quentin, Tuesday, weeks 3,5,7,8; Somerville, room Park 40

   - 11-12: catz
   - 3-4: oriel, univ

Concurrency

Thursdays, Weeks 3, 5, 7, and Fridays, Week 8, with Gavin

 - 2:00 - 3:30: CL, MS
 - 4:00 - 5:30: JZ, SV, SL, LB

JA, with Andrew

Computational Complexity

BE, NW, JM?, JR, TK, LP?, AZ, EB(?), YG

Geometric Modelling

NW, EB

Knowledge Representation and Reasoning

BE, MP, JM, JR, TK, EB(?)

Logic and Proof

HC, AET, IA, TH, JP
WJ, EM, AS: Quentin, Wednesday 2-3, weeks 2,4,6,8; Park 40

Trinity Term

Computer Architecture

JZ?, SV, JT, SL, LB?, MS

Computer Networks

JZ, LP, SL, LB, PY, JA