Donald T. Sannella

MathSciNet


Ph.D. 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 listed in chronological order.

NameSchoolYearDescendants
Andrews, JamesUniversity of Edinburgh1991
Aspinall, DavidUniversity of Edinburgh19976
Campbell, BrianUniversity of Edinburgh2008
Farrés, JordiUniversity of Edinburgh1992
Ghani, NeilUniversity of Edinburgh19953
Hannay, JoUniversity of Edinburgh2001
Harland, JamesUniversity of Edinburgh1991
Hermida, ClaudioUniversity of Edinburgh1993
Hofmann, MartinUniversity of Edinburgh19958
Katsumata, Shin-yaUniversity of Edinburgh2005
Lüth, ChristophUniversity of Edinburgh1997
Machado, PatriciaUniversity of Edinburgh2000
Petria, MariusUniversity of Edinburgh2010
Russo, ClaudioUniversity of Edinburgh1998

According to our current on-line database, Donald Sannella has 14 students and 31 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.