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 Twitter insiders: We can't protect users from trolling under Musk Department of Computer Science research features in a BBC Panorama investigation into the escalation of online violence, abuse and trolling on the social media platform. 7 March 2023 | BBC News 'To say I'm excited is an understatement' - student's paper accepted at influential international conference An undergraduate student is celebrating after the dissertation project he put everything into has been accepted as a paper at a prestigious international software testing conference. 21 February 2023 More success for Algorithms group as papers accepted at STOC 2023 An academic from the Department’s Algorithms research group has had two papers accepted at one of the top global conferences in theoretical computer science. 20 February 2023 Robotics innovations aim to protect battlefield medics and nuclear engineers Department spin-out BOW (formerly Cyberselves) has won two contracts to create robotic systems to help remove people from harm on battlefields and assist in decommissioning legacy nuclear sites. 17 February 2023 | The Business Desk Student’s idea to become reality after winning global PayPal competition A student has well and truly made his mark during his Industrial Placement Year at PayPal after winning the company’s Global Innovation Tournament. 16 February 2023 Pagination First page « First Previous page ‹ Previous … Page 15 Page 16 Page 17 Page 18 Current page 19 Page 20 Page 21 Page 22 Page 23 … Next page Next › Last page Last »