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 Professor Tony Prescott launches new book ‘The Psychology of Artificial Intelligence’ At an in-person event, Professor Tony Prescott launched his new book ‘The Psychology of Artificial Intelligence’. 27 January 2025 Tackling tomorrow’s engineering research challenges Sheffield is involved in new engineering networks to address key strategic challenges and support future growth. 23 January 2025 Sheffield part of £10million programme to identify individual cancer risk Doctors could soon be able to predict your individual chances of getting cancer and offer personalised detection and prevention, thanks to a new research project. 22 January 2025 Professor Roger Moore Awarded Prestigious Medal for Scientific Achievement Congratulations to Professor Roger Moore, who has been recognised as the 2025 recipient of the International Speech Communication Association’s (ISCA) Medal for Scientific Achievement 21 January 2025 Large language models: how the AI behind the likes of ChatGPT actually works The arrival of AI systems called large language models (LLMs), like OpenAI’s ChatGPT chatbot, has been heralded as the start of a new technological era. And they may indeed have significant impacts on how we live and work in future. 7 January 2025 Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Page 3 Page 4 Current page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next › Last page Last »