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 How long will Twitter stand by as ‘online violence’ curtails our right to know? Professor Kalina Bontcheva features in The Guardian for her work as part of an international research project to develop an early warning system for gender-based online violence against women journalists. 5 July 2022 | The Guardian Our Opteran spin-out lands £3.3m investment from Northern Gritstone. Sky News reports on the ‘brain biomimicry’ company Opteran, a spin-out from the Department of Computer Science, which receives a ground-breaking new investment. 30 June 2022 | Sky News New research finds Insect-inspired intelligence is the key to robotic autonomy University of Sheffield spin-out, Opteran Technologies, has collaborated on a new paper which highlights that insect intelligence can inspire an alternative to mainstream approaches to robot intelligence. 17 June 2022 Paul Richmond is a research software engineer in the United Kingdom.Credit: Shelley Richmond Why science needs more research software engineers Paul Richmond speaks to Nature about life as a Research Software Engineer, the role of software in the research enterprise and the state of the field as it reaches its tenth anniversary. 1 June 2022 | Nature We started a commercial software company at our university – and you should too Mike Holcombe, Emeritus Professor of Computer Science, explains how he launched a software development company at the University and the impact it has had on students' education. 31 May 2022 | Published by Time Higher Education Pagination First page « First Previous page ‹ Previous … Page 22 Page 23 Page 24 Page 25 Current page 26 Page 27 Page 28 Page 29 Page 30 … Next page Next › Last page Last »