Royal Society award for Computing Science academic

Professor Muffy Calder of the University of Glasgow's School of Computing Science has been appointed as a Royal Society Leverhulme Trust Senior Research Fellow. The fellowship scheme provides funding to allow science researchers to work for a period of time without teaching and administrative duties. Calder's year-long project, which will begin in October, is named 'Live Formal Models for Predictable Pervasive Systems'. It will examine ways in which computing systems could be future-proofed to ensure software can be altered and updated without 'breaking' the system. Calder said: "Computer systems are playing an ever-larger role in our everyday lives. These 'pervasive' computers include devices as diverse as mobile phones and sensor-based healthcare systems, each made up of numerous components that interact with each other and with the environment around them. "The project I'll be working on will look at how changes to these systems can be modelled mathematically to predict the effect of change, either by adding, removing or updating a component or changing the environment it is working in.