skip to content

Department of Computer Science and Technology

Read more at: Using computing to address deforestation

Using computing to address deforestation

27 June 2023

Srinivasan Keshav - the Robert Sansom Professor of Computer Science here - tells us about his work on applying computer science to address environmental issues such as deforestation.


Read more at: ACM Programming Languages Software Award goes to OCaml researchers
Image of two camels

ACM Programming Languages Software Award goes to OCaml researchers

19 June 2023

Prof Anil Madhavapeddy and several Department alumni were among those recognised today by the Association for Computing Machinery for their work on developing the functional programming language OCaml.


Read more at: Professorial promotions for six of our colleagues

Professorial promotions for six of our colleagues

19 June 2023

Six of our colleagues have been promoted as Professor in recognition of their outstanding achievements.


Read more at: More UK companies sign up to test groundbreaking cybersecurity technology
The Arm Morello board is a groundbreaking prototype cybersecurity technology that is 'secure-by-design' – i.e. built with security features that do not rely on software updates or patches to protect against malicious actors.

More UK companies sign up to test groundbreaking cybersecurity technology

19 June 2023

Eight more companies have signed up to help test a pioneering new approach to cybersecurity that started life here.


Read more at: New Associate Professor in Logical Foundations and Formal Methods
Jon Sterling has been appointed as Associate Professor in Logical Foundations and Formal Methods

New Associate Professor in Logical Foundations and Formal Methods

13 June 2023

We look forward to welcoming Jon Sterling to the Department this September when he joins us as Associate Professor in Logical Foundations and Formal Methods.


Read more at: Cybercrime in the spotlight at June conference

Cybercrime in the spotlight at June conference

8 June 2023

A talk by the FBI and a new approach to studying the relationship between autism and cybercrime are on the agenda at this month's Cambridge Cybercrime Centre Conference.


Read more at: New Associate Professor in Computational Linguistics
Fermín Moscoso del Prado Martín will be joining us as Associate Professor in Computational Linguistics this August

New Associate Professor in Computational Linguistics

30 May 2023

We’re very pleased to announce that Fermín Moscoso del Prado Martín will be joining us as a new member of our faculty this August.


Read more at: 'Stand-out' dissertation receives ACM award
Conrad Watt is the winner of the EAPLS Best Dissertation Award

'Stand-out' dissertation receives ACM award

24 May 2023

Congratulations to Research Fellow Conrad Watt whose "stand-out" PhD dissertation was recognised by an award from the Association for Computing Machinery, the world's largest association of computing professionals.


Read more at: The researchers offering a Pint of Science!
Pint of Science is a UK-wide science outreach festival taking place in May 2023

The researchers offering a Pint of Science!

22 May 2023

Four researchers in this Department are talking about their work in pubs this week as part of the science festival, Pint of Science.


Read more at: Looking through the lens of complexity theory
Tom Gur joins us in August 2023 as Associate Professor in Algorithms and Complexity

Looking through the lens of complexity theory

18 May 2023

We're very pleased to announce that Tom Gur will be joining us from August as Associate Professor here in Algorithms and Complexity. Welcome, Tom!