Search

15 Aug 2012: Course pages 2011–12. Part IB. Please check the official timetables for timetable details. Michaelmas term. Algorithms II ––––––––––––– Dr Markus Kuhn. Compiler Construction –––––continuing). Databases

13 Sep 2012: Course pages 2012–13. Concurrent and Distributed Systems. Principal lecturer: Dr Robert Watson. Additional lecturer: Dr Anil Madhavapeddy. Past exam questions:contact lecturer for access permission). No. of lectures: 16 (Continued in Lent Term).

16 Aug 2012: Course pages 2012–13. Part IB. Please check the official timetables for timetable details. Michaelmas term. Algorithms II ––––––––––––– Dr Markus Kuhn. Compiler Construction –––continuing). Databases –continuing).

7 May 2012: Course pages 2011–12. Security I. Principal lecturer: Dr Markus Kuhn. Past exam questions:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: Discrete Mathematics II, Operating Systems. This course is a

16 Aug 2012: Course pages 2012–13. Semantics of Programming Languages. Principal lecturer: Dr Samuel Staton. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. This course is a prerequisite for the

25 Nov 2012: Our approach can be applied to more general cases of economic sharing of network resources, and offers new capabilities for resource management, while it is not specific to ABR.

6 Sep 2012: Course pages 2012–13. Programming in C and C++. Principal lecturer: Prof Alan Mycroft. Taken by:contact lecturer for access permission). No. of lectures: 8. Suggested hours of supervisions: 2. Prerequisite courses: None, though Operating Systems

6 Sep 2012: Course pages 2012–13. Unix Tools. Principal lecturer: Dr Markus Kuhn. No. of lectures: 10. Suggested hours of supervisions: 0-1 (non-examinable course with exercises). Operating Systems provides a useful foundation for this course. Aims. This

23 Feb 2012: 2 lectures]. The big picture for managing traffic. Economics and policy are relevant to networks in many ways.

13 Sep 2012: 2 lectures]. The big picture for managing traffic. Economics and policy are relevant to networks in many ways.

28 Aug 2012: Course pages 2012–13. Complexity Theory. Principal lecturer: Prof Anuj Dawar. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: Algorithms, Computation Theory. Aims.

6 Sep 2012: Course pages 2012–13. Logic and Proof. Principal lecturer: Prof Larry Paulson. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. This course is a prerequisite for the Part II courses

15 Aug 2012: Course pages 2012–13. Computation Theory. Principal lecturer: Prof Andrew Pitts. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite course: Discrete Mathematics. This course is a

6 Sep 2012: Course pages 2012–13. Mathematical Methods for Computer Science. Principal lecturers:Taken by: Part IB. Past exam questions:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite course:

15 Aug 2012: Course pages 2012–13. Compiler Construction. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). No. of lectures: 16. Suggested hours of supervisions: 4. Prerequisite: (the last lecture of) Regular Languages

31 Aug 2012: Course pages 2012–13. Concepts in Programming Languages. Principal lecturer: Prof Marcelo Fiore. Past exam questions:contact lecturer for access permission). No. of lectures: 8. Suggested hours of supervisions: 2. Prerequisite courses: None. Aims.

15 Aug 2012: Course pages 2012–13. Databases. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). No. of lectures: 12. Suggested hours of supervisions: 3. Prerequisite courses: None. Aims. The overall aim of the course is

27 Jan 2012: Course pages 2011–12. Databases. Principal lecturer: Dr Ken Moody. Taken by:contact lecturer for access permission). No. of lectures: 12. Prerequisite courses: None. The overall aim of the course is to cover the fundamentals of database management

22 Oct 2012: Course pages 2012–13. Computer Design. Principal lecturer: Dr Simon Moore. Past exam questions:contact lecturer for access permission). Postponement of lectures. The lecturer away on business on 29th and 31st October so there will be no lectures

28 Sep 2012: Building on the lessons from multilevel secure systems and security protocols discussed in the first course, we will explore infrastructure versus applications; services versus clients; the use of smartcards and other