News News stories Keep up-to-date with all the latest news from the School of Computer Science. Welcoming Professor Or Meir to the School of Computer Science Professor Meir joins us in his role as Professor of Algorithms. 13 October 2025 Sheffield to lead $1M project on AI-powered theorem proving, funded by Renaissance Philanthropy and XTX Markets Titled ‘Copilots for Isabelle: Learning Logical Structure for a Better Proving Experience’, will advance the foundations and technology of interactive theorem proving, developing next-generation methods for proof assistants. 7 October 2025 Meet our new academics We are delighted to be welcoming Bei Peng, Lecturer in Artificial Intelligence & Applications of AI, and Amir Ghalamzan, Associate Professor, to the School of Computer Science. 26 September 2025 Academics from the University's Centre for Machine Intelligence have won an impact award at the UK's first national conference for AI research. The award recognises their research that is driving the responsible use of AI. Credit: UK AI Research Symposium University of Sheffield researchers win UK first national AI prize A new award recognising the strength and impact of the UK’s AI research, has been awarded to academics at the University of Sheffield. 24 September 2025 Search Professor Roger Moore awarded the ISCA (International Speech Communication Association) Special Services Medal. Congratulations to Professor Roger Moore who has been awarded the ISCA Special Service Medal for service in the establishment, leadership and international growth of ISCA. 27 October 2020 Talking with Robots Watch Prof. Moore's keynote "Talking with Robots: Are We Nearly There Yet?" 4 September 2020 Department Grant Success We’re delighted to announce that the department has had a successful grant application. 11 August 2020 Number one in the Russell Group for student satisfaction We are number one in the Russell Group for student satisfaction in computer science according to the latest National Student Survey (NSS). 23 July 2020 Bees are helping design the next generation of autonomous technology Our experts have gone back to nature to find a solution to the problem of machine learning. 10 July 2020 Pagination First page « First Previous page ‹ Previous … Page 30 Page 31 Page 32 Page 33 Current page 34 Page 35 Page 36 Page 37 Page 38 … Next page Next › Last page Last »