Skip to content


Muffy Calder

Professor Muffy Calder

Professor Muffy Calder

Research Fellow

Interests and expertise (Subject groups)

Grants awarded

Live formal models for predictable component-based systems

Scheme: Wolfson Research Merit Awards

Organisation: University of Glasgow

Dates: Oct 2011-Sep 2016

Value: £100,000

Summary: Computation is everywhere: increasingly, it is integrated into everyday objects, devices and activities, often via components that we hope will “plug” and “play “. From brakes on cars and sensors in baths, to mobile games, systems biology and 3D printers, component-based, computational systems are becoming ubiquitous. We need foundational concepts, theories and tools that allow us to study and improve these systems, especially when configurations may be volatile and depend on their virtual or physical environment, and when they exhibit stochastic, or random behaviour that cannot be engineered away. My research is focussed on developing new mathematical and computational models for these systems, so that we can predict and quantify the effects of change. The new work I have initiated in the last year is in the area of sensor-based systems, decision making for systems with component failures, mixed reality systems and user activity patterns in software systems.

Scheme: Leverhulme Trust Senior Research Fellowship

Organisation: University of Glasgow

Dates: Oct 2011-Mar 2012

Value: £46,626

Summary: This project summary is not available for publication.

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.