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 Engineering Research Assistant and PhD students host IEEE Entrepreneurship pitch event The University of Sheffield recently hosted an IEEE Entrepreneurship Event with seven teams of engineering students pitching their ideas to an expert panel. The three winning teams will now advance to the regional finals with teams from across Europe 29 February 2024 Visiting Professor, Clive Humby OBE, honoured with the Don Schultz Award Visiting Professor in Computer Science, Clive Humby OBE, has been selected for the Don Schultz Award for Innovation in Integrated Marketing Communications 6 February 2024 Dr Carolina Scarton visits the University of São Paulo to plan research collaborations Dr Carolina Scarton visited the University of São Paulo (USP) recently under a Fellowship, to meet with students and academics, and to plan collaborations with researchers at USP. 6 February 2024 Workshop on Foundations of Computation in Sheffield Join us on 29-30 January for our Foundations of Computer Science Workshop. 19 January 2024 How artificial intelligence slots into research It was coding a Tetris-winning AI agent that flipped Dr Donghwan Shin’s focus from software engineering to AI. Now he’s investigating how AI can transform the research environment, and beyond. 10 January 2024 Pagination First page « First Previous page ‹ Previous … Page 8 Page 9 Page 10 Page 11 Current page 12 Page 13 Page 14 Page 15 Page 16 … Next page Next › Last page Last »