skip to content

Department of Computer Science and Technology

Read more at: The researcher looking for better ways to prove systems software is correct
Dr Christopher Pulte is the recipient of a Royal Society University Research Fellowship

The researcher looking for better ways to prove systems software is correct

26 November 2024

If errors in an operating system enable a virus or malware to infect it, it can lead to security breaches or financial losses. Now a researcher here has been awarded a Royal Society Fellowship to look for better methods to verify if systems software is correct.


Read more at: Fellowship funds new research into 'hearable' health sensors

Fellowship funds new research into 'hearable' health sensors

25 November 2024

Turning 'hearable' devices like earbuds into genuinely reliable instruments for measuring human health: that's the goal of a new research project that will shortly get underway.


Read more at: Arm donation funds PhD students in new Computer Architecture Research Centre

Arm donation funds PhD students in new Computer Architecture Research Centre

20 November 2024

Arm is donating £3.5 million to enable 15 PhD students over the next five years to study at CASCADE – our dedicated new Computer Architecture and Semiconductor Design Centre, which is now accepting applications.


Read more at: New alliance launches to tackle cybersecurity threats

New alliance launches to tackle cybersecurity threats

12 November 2024

A new alliance launches today to take forward the pioneering CHERI cybersecurity technology co-developed by researchers here.