Donald T. Sannella

MathSciNet

Ph.D. The University of Edinburgh 1982 UnitedKingdom
Dissertation: Semantics, Implementation and Pragmatics of Clear, a Program Specification Language
Mathematics Subject Classification: 68—Computer science

Advisor: Rodney Martineau Burstall

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Andrews, JamesThe University of Edinburgh1991
Harland, JamesThe University of Edinburgh1991
Farrés, JordiThe University of Edinburgh1992
Hermida, ClaudioThe University of Edinburgh1993
Ghani, NeilThe University of Edinburgh19954
Hofmann, MartinThe University of Edinburgh19958
Aspinall, DavidThe University of Edinburgh19976
Lüth, ChristophThe University of Edinburgh1997
Russo, ClaudioThe University of Edinburgh1998
Machado, PatriciaThe University of Edinburgh2000
Hannay, JoThe University of Edinburgh2001
Katsumata, Shin-yaThe University of Edinburgh2005
Campbell, BrianThe University of Edinburgh2008
Petria, MariusThe University of Edinburgh2010

According to our current on-line database, Donald Sannella has 14 students and 32 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 124853 for the advisor ID.