English Muffy Calder Cited by user Duncan.Hull on 26 Nov 2013 Muffy Calder OBE FRSE FREng (née Thomas) is a Scottish computer scientist, Professor of Formal Methods in the School of Computing Science at the University of Glasgow…