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 Future Greens: graduates secure six-figure investment for vertical farming revolution A group of recent University of Sheffield graduates are set to transform the world of vertical farming after securing a six figure investment for their sustainable startup. 10 January 2024 'It was enlightening working with them' - University expertise helps local company take AI to the next level South Yorkshire-based Automated Analytics is using advanced artificial intelligence (AI) to help its clients understand customers, improve their experience and ultimately boost sales, following a collaboration with academics in the Department. 4 January 2024 Dr Michael Mangan awarded UKRI Future Leaders Fellowship Mike Mangan one of only 75 Future Leader Fellowships with a project to pioneer the commercialisation of robots controlled by natural, not artificial, intelligence 12 December 2023 Congratulations to Dr Maksim Zhukovski who has had their paper accepted to a top algorithmic conference The Foundations of Computer Science research group celebrate continued success as Dr Maksim Zhukovski has his paper accepted by the ACM-SIAM Symposium on Discrete Algorithms. 15 November 2023 Haiping Lu listed in Top 100 AI Leaders in Biomarkers Technology Professor Haiping Lu has been recognised by the Aging Analytics Agency as a leader in the field of AI Biomarker Technology. 14 November 2023 Pagination First page « First Previous page ‹ Previous … Page 9 Page 10 Page 11 Page 12 Current page 13 Page 14 Page 15 Page 16 Page 17 … Next page Next › Last page Last »