Person. Donald Sannella Emeritus Professor of Computer Science · University of Edinburgh · homepages.inf.ed.ac.uk/dts · 0000-0003-4520-8924 PhD advisorRodney Martineau Burstall PhD studentsDavid Aspinall PhDUniversity of Edinburgh