skip to content

Department of Computer Science and Technology

Read more at: Petar Veličković

Petar Veličković

I hold an Affiliated Lectureship at the University of Cambridge, where I am co-teaching an MPhil course on geometric deep learning, and I am an Associate of Clare Hall, Cambridge.



Read more at: Algorithms and Complexity

Algorithms and Complexity

Algorithms are fundamental objects of study in computer science. Algorithmic processes are not only executed in digital electronic computers but occur everywhere in the world around us. The Algorithms and Complexity research theme focuses on the mathematical modelling and analysis of algorithmic processes. A particular interest is the study of the complexity (for example, the resource use) of such processes.







Read more at: Faustyna Krawiec

Faustyna Krawiec

I am a third year PhD Student in the Programming, Logic and Semantics group, supervised by Dr Neel Krishnaswami. I'm interested in Automatic Differentiation, its semantics, correctness and efficient implementation in functional programming languages. My research is funded by the Microsoft Research PhD Scholarship Programme.