Search

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: 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. 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: 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. 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

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. Advanced Computer Architecture. Department of Computer Science and Technology. Course pages 2023–24. Advanced Computer Architecture. Advanced Computer Architecture. Principal lecturer: Prof Timothy Jones. Additional lecturer: Prof

10 May 2024: Search site. Cryptography. Department of Computer Science and Technology. Course pages 2023–24. Cryptography. Cryptography. Principal lecturer: Dr Markus Kuhn. Term: Lent. Hours: 16. Format: In-person lectures. Suggested hours of supervisions: 4.

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