Does my component-based system work? From bits and bytes to wet and sticky
4:00pm Tuesday 6th December 2011, Robert Recorde Room, Faraday Building
The talk will be followed by a reception
Does your component-based system work as you expect – now, and in the future if you move/replace/update a component? I give an overview of three strands of research that develops formal models in which we can ask and answer these questions. The underlying systems are all very different, ranging from bits and bytes to wet and sticky, but the modelling and reasoning techniques are remarkably similar. Is that because I have a hammer – or is there a meaningful similarity between engineered and evolved systems?
Muffy Calder is Professor of Formal Methods in the School of Computing Science and Dean for Research in the College of Science and Engineering at the University of Glasgow. She is currently a Royal Society Leverhulme Research Senior Fellow. Her research is in modelling and reasoning about the behaviour of complex software and biochemical systems using computer science, mathematics and automated reasoning techniques. She has collaborations with many world-leading companies and in the distant past has been a research fellow at BT Laboratories and DEC in California.
Previously, she was Head of Department, chair of UKCRC (UK Computing Research Committee), member of EPSRC TOP (Technical Opportunities Panel) and the Scottish Science Advisory Committee, and Senate Assessor on Court. Currently, she is Chair of the BCS Academy of Computing Research Committee. She has a PhD in Computational Science from the University of St. Andrews and a BSc in Computing Science from the University of Stirling. She is a Fellow of the Royal Society of Edinburgh and was awarded the OBE in 2011.