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

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

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.