Search

20 Dec 2017: Course pages 2014–15. Security I. 2015-04-24 (Fri):. Duration: 51:59. 2015-04-29 (Wed):. Duration: 49:06. 2015-05-01 (Fri):. Duration: 51:59. 2015-05-04 (Mon):. Duration: 46:59. Duration: 02:58. 2015-05-06 (Wed):. Duration: 55:05. 2015-05-08 (Fri):

13 Feb 2017: Security economics (Fri 3 Feb). Steven Murdoch:. ... forth. Let it therefore be known that FMS and MGK will each set one question and that each such question may relate to any part of the syllabus, including topics lectured

23 Jan 2017: Course pages 2016–17. Computer Networking Hands-on material. While this subject has no formal practicals there is considerable merit in learning by doing. This page will contain material of a practical (hands-on) nature. Mininet. Like last year I

31 Jan 2017: Course pages 2016–17. E-Commerce. Lecture notes. E-Commerce and the law. are still available. 2017 Computer Laboratory, University of Cambridge. Information provided by Jack Lang.

2 Feb 2017: Course pages 2016–17. Computer Networking Notices. Guest Lecture: Noa Zilberman Wednesday 8th Feb 2017 11am LT1 Updated 2017-02-01. Guest lecture non examinable open to all. Title "Real Switch Architecture". Guest Lecturer: Noa Zilberman,

20 Apr 2017: Course pages 2016–17. Artificial Intelligence I. Lecture notes as slides in colour and monochrome. Lecture notes, four per side in colour and2017 Computer Laboratory, University of Cambridge. Information provided by Dr Sean Holden.

11 Jan 2017: Course pages 2016–17. Logic and Proof. PDF). Slides (PDF). A toy theorem-prover coded in ML:. Possibly useful external links:. 2016 Computer Laboratory, University of Cambridge. Information provided by Prof Larry Paulson.

24 May 2017: Course pages 2016–17. Complexity Theory. Slides. Suggested Exercises. Note: these exercises are intended to explore in further detail some issues raised in the lectures, and encourage you to extend further the techniques that have been developed

2 Jan 2017: Course pages 2016–17. Prolog. A question set is available in pdf form, as are the slides from the first lecture. Other course materials (such as lecture videos) are available on the dedicated site,. If you experience problems with the site, please

15 Jan 2017: Course pages 2016–17. Concurrent and Distributed Systems. Lecture notes. There are eight handouts available for the first part of the course (Concurrent Systems):. Corrections/changes to slides after lecture. Lecture 1:. An update has been made to

23 Feb 2017: Course pages 2016–17. Computation Theory. Slides [pdf]:. Past exam questions:. Since 2009, the last three lectures of this course have incorporated some material from a Part IB course on Foundations of Functional Programming that is no longer

23 Jan 2017: Course pages 2016–17. Computer Networking. PDF bundle for Slide Set 1 (Topic 1 through 7) as 6-up PDF Updated: 2016-11-16. Topic 1 Introduction / FoundationUpdated: 2016-11-16. Topic 2 Architecture and InternetUpdated: 2016-11-16. Topic 3 Physical

24 Feb 2017: Economics and Internet Security: A survey of recent analytical, empirical and behavioral research, Tyler Moore and Ross Anderson.

9 Feb 2017: Course pages 2016–17. ECAD and Architecture Practical Classes. Additional material and further reading. Relevant course notes. a useful reference for those unfamiliar with the Unix command line. Further reading. SignalTap tutorial: SignalTap is a

1 Feb 2017: Course pages 2016–17. Compiler Construction. Last change: Wed Feb 1 09:51:04 GMT 2017. Lecture Slides. CompilerConstruction2017_2up.pdf (two slides per page). Source Code for our Slang compler can be found at GitHub:. Yacc sample grammars. Use

2 Jun 2017: Course pages 2016–17. Concepts in Programming Languages. Handouts. correction: 2015p3q6 has been adjusted to 2015p3q5]. Note: the course has been updated for 2016/17. There is new material on scripting languages (now Topic VII) and the functional

11 Oct 2017: methodology. 2. Welcome! • Seminar-style research readings module• R209: Principles and Foundations (Michaelmas)– History, discourse, methodology, and themes– Topics include cybercrime, crypto/protocols, human factors, economics, ... 16 Oct

18 Apr 2017: I One exam question.I The syllabus and course has changed somewhat from that. ... I Expressive power.I Ease of use for the novice.I Ease of implementation.I Standardisation.I Many useful libraries.I Excellent compilers (including open-source)I Economics,

18 Apr 2017: I One exam question.I The syllabus and course has changed somewhat from that. ... I Expressive power.I Ease of use for the novice.I Ease of implementation.I Standardisation.I Many useful libraries.I Excellent compilers (including open-source)I Economics,

23 Jun 2017: Schools, Faculties and Departments The University of Cambridge consists of over 100 Departments, Faculties, Schools and institutes, most of which have their