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 Foundations of Computation research group has paper accepted at highly selective FOCS 2023 A researcher in the Department’s Foundations of Computation research group has had a paper accepted for one of the most prestigious and selective conferences in theoretical computer science. 11 July 2023 Groundbreaking speech technology could speed up dementia diagnosis A new AI tool that could help doctors assess the early signs of dementia and Alzheimer’s more quickly and efficiently has been developed by Department of Computer Science and Department of Neuroscience researchers. 29 June 2023 Honeybees make rapid, accurate decisions and could inspire future of AI, study suggests New research revealing how honeybees can make fast and accurate decisions, which could help to design more efficient robots and autonomous machines, has been published by Department of Computer Science researchers. 27 June 2023 AI unlikely to gain human-like cognition, unless connected to real world through robots Connecting artificial intelligence systems to the real world through robots and designing them using principles from evolution is the most likely way AI will gain human-like cognition, according to research from the Department of Computer Science. 12 June 2023 New AI project unveils open-source models to boost computational music research Researchers have launched the Multimodal Art Projection (MAP) project to provide high-performance and cost-effective open source models to the computational music research communities, as well as professional and amateur musicians more broadly. 2 June 2023 Pagination First page « First Previous page ‹ Previous … Page 12 Page 13 Page 14 Page 15 Current page 16 Page 17 Page 18 Page 19 Page 20 … Next page Next › Last page Last »