Thursday, 21 May 2015

21-MAY-1958 :- BIRTH OF Muffy Calder, Scottish computer scientist.

Muffy Calder
(May 21, 1958) is a Scottish computer scientist, Professor of Formal Methods in the School of Computing Science at the University of Glasgow, and Chief Scientific Advisor to the Scottish Government.
As Muffy Thomas, she obtained a Bachelor of Science degree in Computer Science from the University of Stirling, and completed a PhD in Computational Science at the University of St Andrews in 1988 under the supervision of Roy Dyckhoff. She published widely under the name Thomas prior to her marriage to Dave Calder in 1998.
She has worked at the University of Glasgow since 1988, and was Dean of Research in the College of Science and Engineering until 2012. She became Chief Scientific Adviser to the Scottish Government on 1 March 2012. Previously Calder has served as Chair of the UK Computing Research Committee and Chair of the BCS Academy of Computing Research Committee.
Calder summarises her research interests as "mathematical modelling and automated reasoning for concurrent, communicating systems". Calder published a very influential overview on the feature interaction problem, with more than 300 citations at Google Scholar. Her research has extended to applying computer science methods to biochemical networks and cell signalling in bioinformatics, resulting in a number of papers.


No comments:

Post a Comment