Muffy Calder

Dame Muffy Calder (née Thomas; born 21 May 1958) is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012 to 2015 she was Chief Scientific Advisor to the Scottish Government. Provided by Wikipedia