Don Sannella's Ph.D. students, past and present

Some past Ph.D. students:

• Jamie Andrews: Logic Programming: Operational Semantics and Proof Theory, 1991 (winner of 1991 Distinguished Dissertation award, thesis published as a book by Cambridge University Press)
• David Aspinall: Type Systems for Modular Programs and Specifications, 1997
• Brian Campbell: Type-based Amortized Stack Memory Prediction, 2008
• Jordi Farrés: Verification in ASL and Related Specification Languages, 1992
• Neil Ghani: Adjoint Rewriting, 1995
• Jo Hannay: Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus, 2001.
• James Harland: On Hereditary Harrop Formulae as a Basis for Logic Programming, 1991
• Claudio Hermida: Fibrations, Logical Predicates and Indeterminates, 1993
• Martin Hofmann: Extensional Concepts in Intensional Type Theory, 1995 (winner of 1996 Distinguished Dissertation award, thesis published as a book by Springer Verlag)
• Shin-ya Katsumata: A Generalisation of Pre-logical Predicates and its Applications, 2005.
• Christoph Lüth: Categorical Term Rewriting: Monads and Modularity, 1997
• Patricia Machado: Testing from Structured Algebraic Specifications: The Oracle Problem, 2000.
• Marius Petria: Generic Refinements for Behavioral Specifications, 2010.
• Claudio Russo: Types for Modules, 1998. This work is the basis of the module system in version 2.0 of Moscow ML. Thesis published with some additional material in Electronic Notes in Theoretical Computer Science 60, 2003.