Chief Scientific Adviser for Scotland (60% appointment). Previously, Dean of Research in College of Science and Engineering (2010-2012), Senate Assessor (2009-2011), Chair (2008-2010) of UKCRC (UK Computing Research Committee) and Head of Department (2003-2007). Chair of BCS Academy of Computing Research Committee.
Royal Society Leverhulme Research Senior Fellow (2011-2012) and Royal Society Wolfson Merit Research Award (2011-2016).
Links
- Publications
- Research Projects
- Research Students
- Teaching
- Biography
- Press
- 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
- 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: chiefscientificadviser@scotland.gsi.gov.uk |
