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 Active Learning for Sound Event Classification using Monte-Carlo Dropout and PANN Embeddings 3 December 2021 Sequen-C: A multilevel overview of temporal event sequences 1 December 2021 Fast Immune System-Inspired Hypermutation Operators for Combinatorial Optimization 20 November 2021 The (Un)Suitability of Automatic Evaluation Metrics for Text Simplification 15 November 2021 A privacy-aware reconfigurable authenticated key exchange scheme for secure communication in smart grids 1 November 2021 Pagination First page « First Previous page ‹ Previous … Page 25 Page 26 Page 27 Page 28 Current page 29 Page 30 Page 31 Page 32 Page 33 … Next page Next › Last page Last »