Chief Scientific Adviser for Scotland (60% appointment) and Co-Chair of SSAC (Scottish Science Advisory Council).
Past Dean of Research in College of Science and Engineering (2010-2012), Senate Assessor (2009-2011), Chair of UKCRC (UK Computing Research Committee)(2008-2010), Chair of BCS Academy of Computing Research Committee (2011-2013), Head of Department (2003-2007).Member of the Formal Analysis, Theory and Algorithms research group. Past external examiner at University of Manchester, Warwick, St. Andrews, Edinburgh, and NUI Cork.
Royal Society Leverhulme Research Senior Fellow (2011-2012) and Royal Society Wolfson Merit Research Award (2011-2016).
- Research Projects
- Research Students
- SSAC paper - Science and Engineering in Scotland in the Independence Debate
- Press and Media
- Useful Links
- Photos and Fun
- Google Citations
Current/Recent Research Projects
- Royal Society Leverhulme Research Senior Fellowhip: Live formal models for predictable pervasive systems Royal Society-funded
- A Population Approach to Ubiqcomp System Designs EPSRC-funded programme grant
- Royal Society Wolfson Award Royal Society-funded
- VPS: Verifying Interoperability Requirements in Pervasive Systems EPSRC-funded
- Homework: Shaping Future User Domestic Infrastructure EPSRC-funded
- SIGNAL: Stochastic process algebra for biochemical signalling pathways EPSRC-funded
- Stochastic Process Algebra for Oxidative Stress. Lord Kelvin/ Adam Smith research studentship
- Molecular Nose EPSRC-funded
- BPS: A Software Tool for the Simulation and Analysis of Biochemical Networks DTI-Funded.
- Computer Science Inside EPSRC-funded
- Veriscope: Verification of Similar Concurrent Processes EPSRC-funded
Professor Muffy Calder School of Computing Science Sir Alwyn Williams Building Lilybank Gardens University of Glasgow Glasgow G12 8RZ
Email: Muffy.Calder@glasgow.ac.uk Tel: +44 141 330 4969 Fax: +44 141 330 4913 CSA email: email@example.com