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 School children will be able to program a robotic pet from home with the help of learning resources, tests, and lesson plans for teachers. Credit: Consequential Robotics Robotics distance learning project could close skills gap and boost economy A new distance learning project that will enable more people to develop skills in robotics and autonomous systems, to help close the skills gap and drive forward productivity in the UK, is being launched by researchers from our deparment. 3 July 2020 Scientists to develop pain-free device to detect oral cancer A research collaboration has been awarded £1m in funding from SBRI Healthcare – an NHS England initiative – to test and develop a pain-free, non-invasive and instantaneous method to detect oral cancer. 16 June 2020 Chatbots could be used to deliver psychotherapy during Covid-19 and beyond Chatbots could play a key role in helping people with issues around their health and wellbeing, according to a new study led by Dr Matthew Bennion from the University’s Department of Computer Science. 5 June 2020 Researchers develop Artificial Intelligence to prevent new waves of COVID-19 One of our research students has helped develop Artificial Intelligence (AI) ti predict COVID-19 from standard blood tests two weeks earlier that current, existing tests. 4 June 2020 Congratulations to Prof. Roger K. Moore who has been invited to give one of the INTERSPEECH-2020 tutorials! INTERSPEECH is the main conference in the spoken language processing field. It is organised by the International Speech Communication Association (ISCA) and it attracts over 1000 attendees every year. 26 May 2020 Pagination First page « First Previous page ‹ Previous … Page 31 Page 32 Page 33 Page 34 Current page 35 Page 36 Page 37 Page 38 Page 39 … Next page Next › Last page Last »