Search

10 May 2024: Search site. Computer Systems Modelling. Department of Computer Science and Technology. Course pages 2023–24. Computer Systems Modelling. Computer Systems Modelling. Principal lecturer: Prof Srinivasan Keshav. Code: CSM. Term: Lent. Hours: 16

10 May 2024: Search site. Types. Department of Computer Science and Technology. Course pages 2023–24. Types. Types. Principal lecturer: Dr Neel Krishnaswami. Term: Michaelmas. Hours: 12. Format: In-person lectures. Suggested hours of supervisions: 3.

10 May 2024: Search site. Category Theory. Department of Computer Science and Technology. Course pages 2023–24. Category Theory. Category Theory. Principal lecturer: Prof Marcelo Fiore. Code: CAT. Term: Michaelmas. Hours: 16 (8 lectures (2 hours each)). Format:

4 Apr 2024: News. Partha Dasgupta wins BBVA Frontiers of Knowledge Award for Economics.. ... It would be silly, because these two things go together.”. The BBVA Foundation centers its activity on the promotion of world-class scientific research and cultural

10 May 2024: Search site. Complexity Theory. Department of Computer Science and Technology. Course pages 2023–24. Complexity Theory. Complexity Theory. Principal lecturer: Dr Tom Gur. Term: Easter. Hours: 12. Format: In-person lectures. Suggested hours of

10 May 2024: Search site. Advanced Graphics and Image Processing. Department of Computer Science and Technology. Course pages 2023–24. Advanced Graphics and Image Processing. Advanced Graphics and Image Processing. Principal lecturer: Dr Rafal Mantiuk. Taken by

10 May 2024: Search site. Computation Theory. Department of Computer Science and Technology. Course pages 2023–24. Computation Theory. Computation Theory. Principal lecturer: Prof Anuj Dawar. Term: Lent. Hours: 12. Format: In-person lectures. Suggested hours

10 May 2024: Search site. Machine Learning for Language Processing. Department of Computer Science and Technology. Course pages 2023–24. Machine Learning for Language Processing. Machine Learning for Language Processing. Principal lecturer: Dr Andreas Vlachos.

10 May 2024: This reading group course examines foundations and current research into distributed ledger (blockchain) technologies and their applications. ... Once completed, students should be able to integrate blockchain technologies into their own research and

10 May 2024: Designing meaningful systems. Qualitative research methods to understand social context and requirements of user experience. ... Evaluating interactive system designs. Approaches to evaluation in systems research and engineering, including Part II

4 Apr 2024: Search site. Guides. Department of Computer Science and Technology. Library resources. Guides. Full library guide. This is intended as the main guide to library resources for computer science students. It has been fully updated for the academic year

10 May 2024: Search site. Foundations of Computer Science. Department of Computer Science and Technology. Course pages 2023–24. Foundations of Computer Science. Foundations of Computer Science. Principal lecturer: Prof Anil Madhavapeddy. Term: Michaelmas. Hours

10 May 2024: Search site. Object-Oriented Programming. Department of Computer Science and Technology. Course pages 2023–24. Object-Oriented Programming. Object-Oriented Programming. Principal lecturer: Dr Robert Harle. Term: Michaelmas. Hours: 12. Format:

10 May 2024: Search site. Hardware Practical Classes. Department of Computer Science and Technology. Course pages 2023–24. Hardware Practical Classes. Hardware Practical Classes. Principal lecturer: Dr Ian Wassell. Term: Michaelmas (continuing in Lent). Format:

10 May 2024: Assign a selection of original research papers to give insight into potential research topics and approaches. ... Lecture 1: Introduction: OSes, Systems Research, tracing and this course. Lecture 2: Kernels and Tracing.

10 May 2024: Search site. Practical Research in Human-centred AI. Department of Computer Science and Technology. ... be able to write up and present user research in a professional manner.

4 Apr 2024: Search site. Obituaries. Department of Computer Science and Technology. Obituaries. Obituaries. 2010 Department of Computer Science and Technology, University of Cambridge. Information provided by.

10 May 2024: Assign a selection of original research papers to give insight into potential research topics and approaches. ... Lecture 1: Introduction: OSes, Systems Research, tracing and this course. Lecture 2: Kernels and Tracing.

10 May 2024: Search site. Introduction to Natural Language Syntax and Parsing. Department of Computer Science and Technology. Course pages 2023–24. Introduction to Natural Language Syntax and Parsing. Introduction to Natural Language Syntax and Parsing.

10 May 2024: Search site. Optimising Compilers. Department of Computer Science and Technology. Course pages 2023–24. Optimising Compilers. Optimising Compilers. Principal lecturer: Prof Timothy Jones. Additional lecturer: Dr Tobias Grosser. Term: Lent. Hours:

10 May 2024: Search site. Digital Signal Processing. Department of Computer Science and Technology. Course pages 2023–24. Digital Signal Processing. Digital Signal Processing. Principal lecturer: Dr Markus Kuhn. Taken by:Code: L314. Term: Michaelmas. Hours:

10 May 2024: Students are prepared for research in building discourse linguistics and pragmatics informed systems.

10 May 2024: Search site. Computer Networking. Department of Computer Science and Technology. Course pages 2023–24. Computer Networking. Computer Networking. Principal lecturer: Prof Andrew Moore. Term: Lent. Hours: 20. Format: In-person lectures. Suggested

10 May 2024: Search site. Denotational Semantics. Department of Computer Science and Technology. Course pages 2023–24. Denotational Semantics. Denotational Semantics. Principal lecturer: Dr Meven Lennon-Bertrand. Term: Michaelmas. Hours: 10. Format: In-person

10 May 2024: Search site. Network Architectures. Department of Computer Science and Technology. Course pages 2023–24. Network Architectures. Network Architectures. Principal lecturer: Prof Jon Crowcroft. Taken by:Code: R02. Term: Michaelmas. Hours: 16. Class

10 May 2024: Search site. Introduction to Graphics. Department of Computer Science and Technology. Course pages 2023–24. Introduction to Graphics. Introduction to Graphics. Principal lecturer: Dr Rafal Mantiuk. Term: Michaelmas. Hours: 8. Format: In-person

10 May 2024: Search site. Scientific Computing Practical Course. Department of Computer Science and Technology. Course pages 2023–24. Scientific Computing Practical Course. Scientific Computing. Principal lecturer: Dr Damon Wischik. Additional lecturer: Prof

10 May 2024: Search site. Prolog. Department of Computer Science and Technology. Course pages 2023–24. Prolog. Prolog. Principal lecturer: Dr Ian Lewis. Term: Lent. Hours: 8. Format: In-person lectures. Suggested hours of supervisions: 2. Prerequisites:Exam:

14 May 2024: Search site. Concepts in Programming Languages. Department of Computer Science and Technology. Course pages 2023–24. Concepts in Programming Languages. Concepts in Programming Languages. Principal lecturer: Prof Anil Madhavapeddy. Term: Easter.

10 May 2024: be familiar with recent research themes and emerging challenges. appreciate the complex trade-offs at the heart of computer architecture.

10 May 2024: Objectives. On completion of this module, students should. be able to identify some major themes in programming language research. ... Recommended reading material and resources. Research and survey papers from programming language conferences and

10 May 2024: Develop scientific writing skills through a series of laboratory reports;. Provide research skills for characterization and modelling of systems and networks using measurements. ... A reading list, including research papers, will be provided in the

10 May 2024: Search site. Principles of Machine Learning Systems. Department of Computer Science and Technology. Course pages 2023–24. Principles of Machine Learning Systems. Principles of Machine Learning Systems. Principal lecturer: Dr Nic Lane. Additional

10 May 2024: Search site. Machine Learning and Real-world Data. Department of Computer Science and Technology. Course pages 2023–24. Machine Learning and Real-world Data. Machine Learning and Real-world Data. Principal lecturer: Prof Simone Teufel. Additional

4 Apr 2024: Search site. Historical Library Photographs. Department of Computer Science and Technology. Library resources. Periodicals display rack. Enquiry point. Booklocker (Undergraduate texts). Mobile stacks. Careers display. Binding machine. 2021

10 May 2024: 3 blocks]. Research topics, likely to include one hour on transactional memory and one guest lecture.

10 May 2024: Have a strong understanding of basic categorical semantic models. Begun exploring current research in monoidal categories and higher structures. ... Part 2, exploring the research frontier:. In the second part of the course, students choose a research

10 May 2024: Search site. Programming in C and C++. Department of Computer Science and Technology. Course pages 2023–24. Programming in C and C++. Programming in C and C++. Principal lecturer: Dr David Greaves. Term: Michaelmas. Hours: 12. Format: In-person

10 May 2024: Search site. Logic and Proof. Department of Computer Science and Technology. Course pages 2023–24. Logic and Proof. Logic and Proof. Principal lecturer: Prof Mateja Jamnik. Term: Lent. Hours: 12. Format: In-person lectures. Suggested hours of

10 May 2024: Each topic will be introduced with a lecture which, building on the material covered in the prerequisite courses, will make the current research literature accessible. ... Vargas. On completion of this module, students should:. be in a strong position to

10 May 2024: Search site. Discrete Mathematics. Department of Computer Science and Technology. Course pages 2023–24. Discrete Mathematics. Discrete Mathematics. Principal lecturers:Taken by: Part IA CST. Term: Michaelmas (continuing in Lent). Hours: 24. Format:

10 May 2024: Search site. Unix Tools. Department of Computer Science and Technology. Course pages 2023–24. Unix Tools. Unix Tools. Principal lecturer: Dr Markus Kuhn. Term: Michaelmas. Hours: 8. Format: Video lectures. Prerequisites: Operating Systems. This

10 May 2024: Search site. Understanding Networked-Systems Performance. Department of Computer Science and Technology. Course pages 2023–24. Understanding Networked-Systems Performance. Understanding Networked-Systems Performance. Principal lecturer: Prof

3 Jul 2024: Search site. Fellows & affiliates. Department of Computer Science and Technology. Fellows & affiliates. Telephone and email directory. Telephone:. UK prefix:. 01223. International:. 44 1223. University network:. drop prefix 3- or 7-. Email:.

9 Apr 2024: Malavika’s areas of research are environmental law, migration law, the right to food, and climate change. ... Malavika is a Research Affiliate of the Refugee Law Initiative at the School of Advanced Study of the University of London, and at the Global

10 May 2024: 22 students. Aims. This module aims to introduce the latest research advancements in mobile systems and mobile data machine learning, spanning a range of domains including systems, data gathering, analytics and ... The course will cover current and

4 Apr 2024: Search site. Diploma course. Department of Computer Science and Technology. Discontinued courses. Diploma in Computer Science. This course was running for the last time during the academic year 2007–08. The Diploma in Computer Science was a taught

22 May 2024: Search site. Introduction to Probability. Department of Computer Science and Technology. Course pages 2023–24. Introduction to Probability. Introduction to Probability. Principal lecturers:Taken by: Part IA CST. Term: Easter. Hours: 12. Format:

10 May 2024: Search site. Databases. Department of Computer Science and Technology. Course pages 2023–24. Databases. Databases. Principal lecturer: Dr David Greaves. Term: Michaelmas. Hours: 12 (8 lectures 2 practical classes). Format: In-person lectures.

10 May 2024: Search site. Mobile Health. Department of Computer Science and Technology. Course pages 2023–24. Mobile Health. Mobile Health. Principal lecturer: Prof Cecilia Mascolo. Taken by:Code: L349. Term: Lent. Hours: 16 (14h lectures and 2h practicals).