Details for each thesis

• Name of the author
• Year when the thesis was passed
• Title of the thesis
• Name of the supervisor

Some recently-completed PhD theses

• Steven John Barclay (2008) Banach Spaces of Analytic Vector-valued Functions, (Prof. Partington and Dr. Kisil)

• Manuel De La Rosa Penilla (2008) Hypercyclic operators and related topics, (Prof. Read)

• Paul David Lawson (2008) Ideals in Banach algebras and notions of amenability, (Prof. Read and Prof. Dales)

• Richard Marshall (2008) Robust Classes of Finite Structures, (Prof. Macpherson)

• Graham James Murphy (2008) Cluster combinatorics and derived equivalences for m-cluster-tilted algebras, (Dr Holm and Prof. Crawley-Boevey)

• David Pauksztello (2008) Homological Properties of Differential Graded Algebras, (Prof. Macpherson and Prof Jørgensen)

• Bruno Manuel Simoes (2008) Twistorial constructions of harmonic morphisms and Jacobi fields, (Prof. Wood)

• Mariya Ivanova Soskova (2008) The Local Structure of the Enumeration Degrees, (Prof. Cooper)

• Marcel Wiedemann (2008) On real root representations of quivers, (Prof. Crawley-Boevey)

• Mark Jonathan Ryten (2007) Model Theory of Finite Difference Fields and Simple Groups, (Prof. Macpherson)

• Debapriya Biswas (2006) Geometry of elliptic, parabolic and hyperbolic homogeneous spaces using Clifford algebras and group representations, (Dr. Kisil and Prof. Partington)

• Charles Milton Harris (2006) Enumeration Reducibility and Polynomial Time Bounds, (Prof. Cooper)

• Tristan James Jenkinson (2006) The construction and classification of homogeneous structures in model theory, (Prof. Truss)

• Stephen Christopher Lovell (2006) Automorphism groups of homogeneous structures, (Prof. Truss)

• Dominic Luiz Pinto (2006) Convolution semigroups, and primes in radical Banach algebras, (Prof. Dales and Prof. Read)

• Rachael Caroline Smith (2006) Spectral densities and invarient subspaces of operators, (Prof. Partington)

• Spiros Bousbouras (2005) Finite spectra of sentences, (Prof. Macpherson)

• Richard Hugh Elwes (2005) Dimension and measure in finite first order structures, (Prof. Macpherson)

• James Alan McGlade (2005) The Dynamics of Topological Solitons within the Geodesic Approximation, (Dr. Speight and Prof. Wood)

• Hung Le Pham (2005) The continuity of homomorphisms and derivations from Banach algebras, (Prof. Dales)

• Peter Harry Shaw (2005) Generalisations of Preprojective Algebras, (Prof. Crawley-Boevey)

• Agatha Christina Walczak-Typke(2005) Dedekind-Finite Structures, (Prof. Truss)

• Kamal Ataalla Saleh Al-Banawi (2004) Generating frames and normal holonomy of transnormal submanifolds in Euclidean spaces, (Dr. Carter)

• Silvia Barbina (2004) Automorphism groups of omega-categorical structures, (Prof. Macpherson)

• Georgios Barmpalias (2004) Computability and applications to analysis, (Prof. Cooper)

• Alastair Robert Brodlie (2004) Relationships between quantum and classical mechanics using the representation theory of the Heisenberg group, (Dr. Kisil and Prof. Partington)

• Katie Mary Chicot (2004) Transitivity properties of countable trees, (Prof. Truss)

• Matthew David Peter Daws (2004) Banach algebras of operators, (Prof. Read and Prof. Dales)

• Margaret Anne Esslemont (2004) Varieties of modules over dihedral algebras, (Dr Schroer and Prof. Crawley-Boevey)

• Zen Michael Harper (2004) Hankel operators, convolutions and other operators related to linear systems, (Prof. Partington)

• Susana Torrezao de Sousa (2004) Countable homogeneous coloured partial orders, (Prof. Truss)

• Richard Stuart Williams (2004) Finitely Iterated Inductive Definitions over a Predicative Arithmetic, (Prof. Wainer)

• T. Mellor (2003), Imaginaries in real closed valued fields, (Prof. Macpherson)

• A.E.M. Lewis (2003), Aspects of complementing in the Turing degrees, (Prof. Cooper)

• B. Gibbons (2003), The Veblen hierarchy explained via Mahlo hierachies in constructive set theory, (Prof. Rathjen)

• Thiel, Nikolaus Peter (2003) Metapredicative set theories and provable ordinals, (Prof. Rathjen and Prof. Wainer)

• Gabriela Campero-Arena (2002), Transitivity properties of countable coloured orderings, (Prof. Truss)

• M.P. Smith (2002), Approximation problems and operator theory in function spaces, (Prof. Partington)

• A.W. Hubery (2002), Representations of quivers representing a quiver automorphism and a theorem of Kac, (Prof. Crawley-Boevey)

• D. Sawyer (2002), Classification and first-order properties of one-dimensional discrete dynamical systems, (Prof. Truss)

• A. Pambira (2002), Harmonic maps and morphisms in semi-Riemannian and complex-Riemannian geometry, (Prof. Wood)

• Kate White (2001), Derivations and intertwining maps from Banach algebras, (Prof. Dales)

• Matt Giorgi (2001), Continuity in degree structures, (Prof. Cooper)

• Naim Cagman (2000) Tiered arithmetic, its functional interpretation and slow growing bounds, (Prof. Wainer)

• Neil Foston (2000) Some problems on finitely presented C*-algebras, (Prof. Lance)

• Yusuf Kaya (2000) Relations between the topology of a manifold and the topology of its space of parallels, (Dr. Carter)

• Radu Pantilie (2000), Submersive harmonic maps and morphisms, (Prof. Wood)

• Laura Crosilla (2000), Realizability models for constructive set theories with restricted induction principles, (Prof. Rathjen)

• Keith Johnson (1999) Model theoretic constuctions of infinite permutation groups, (Dr. Macpherson)

• Geoff Ostrin (1999) Proof theories of low subrecursive classes, (Prof. Wainer)

• Matthew Poulton (1999) Universal differential operators, (Dr. Hart)

• Nicola Richmond (1999) The geometry of modules over finite-dimensional algebras, (Dr. Crawley-Boevey)

• Colin Robertson (1999) Algorithms for ideals in differential operator rings, (Prof. McConnell)

• Banu Unalmis (1999) Transform methods in operator theory, (Prof. Partington)

• Haresh Dedania (1998) Weighted discrete semigroup algebras, (Prof. Dales)

• Matthew Salts (1998) Relative computability and the difference hierarchy, (Prof. Cooper)

• Ugur Dursun (1997) Applications of partial tubes to Chen and other submanifolds, (Dr. Carter)

• Graham Mendick (1997) Notions of Dedekind-finiteness in model theory, (Prof. Truss)

• Stefano Montaldo (1997) Stability of harmonic maps and morphisms, (Prof. Wood)

• Paul Tapper (1997) Embedding *-algebras into C*-algebras, (Prof. Lance)

• David Doniz (1996) Residual properties of generalised free products of groups, (Dr. Allenby)

• David Lamb (1996) Beurling and Lipschitz Algebras, (Dr. Salinger and Prof. Dales)

• Eric Loubeau (1996) Morphisms of differential operators on manifolds, (Prof. Wood)

• Tahir Mustafa (1996) Integral formulae for harmonic morphisms, (Prof. Wood)

• Kati Ogden (1996) Homomorphisms and derivations from Banach Algebras, (Prof. Dales)