The Royal Academy of Engineering recognition for Glasgow academic

Professor Muffy Calder, Professor of Formal Methods in the Department of Computing Science is one of 60 new Fellows to be elected to the Royal Academy of Engineering. The announcement was made at the Annual General Meeting of the Royal Academy, with the new Fellows being recognised for their achievements and contribution to the profession. The Principal and Vice Chancellor of the University of Glasgow, Professor Anton Muscatelli said "I am delighted that Professor Calder has been elected a Fellow of the Royal Academy of Engineering. Her inclusion in the Fellowship is a well-deserved honour, recognising the major contributions that she has made to research in her field of Computing Science, and to interdisciplinary research in various areas of science and engineering." Muffy Calder spends 60% of her time as the Chief Scientific Adviser to the Scottish Government, but she is also Professor of Formal Methods in the Department of Computing Science at the University of Glasgow. Until 2012, she was Dean of Research in the College of Science and Engineering at Glasgow, where she has been since 1988. She has a long record of combining academic work with public service, having been a member of the Scottish Science Advisory Service, chair of the UK Computing Research Committee and a member of the Engineering and Physical Sciences Research Council's Technical Opportunities Panel. Professor Calder's research work is in formal modelling and analysis techniques for co-ordination and interaction in concurrent and communicating systems.