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 Meet our new Lecturer in Algorithms: Dr Swagato Sanyal We are delighted to be welcoming Dr Swagato to the School of Computer Science. 20 May 2025 School of Computer Science hosts the 25th Midlands Graduate School in the Foundations of Computing Science (MGS 25) The event was hosted here at the University of Sheffield between 7 and 11 April 2025. 20 May 2025 Second year engineering students pitched ideas at 2025 Engineers in Business final Six top teams from the University of Sheffield pitched innovative solutions in high-stakes competition. 16 May 2025 Taking down the 'digital oligarchy' and why we shouldn't fear AI Professor Neil Lawrence, Visiting Professor at the School of Computer Science, on taking down the 'digital oligarchy' and why we shouldn't fear AI on BBC Radio 4's 'The Life Scientific'. 14 May 2025 | Published by the BBC Image credit: File: Balme Library of University of Ghana, Accra, Ghana.jpg (https://commons.wikimedia.org/wiki/File:Balme_Library_of_University_of_Ghana,_Accra,_Ghana.jpg) Author: Rjruiziii, License: https://creativecommons.org/licenses/by-sa/3.0/deed.en Collaboration between the Insigneo Institute and the University of Ghana Dr Ning Ma, Lecturer in Medical Computing, has been awarded partnership development funding & will travel to Ghana with three colleagues to identify challenges & opportunities, & deliver a summer school to foster research skills and academic growth. 24 April 2025 Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Current page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next › Last page Last »