| |
Details
Former Research Students:
Edmund Burke, 1987-1990, PhD 1991, 'Unification and equation solving
in nilpotent groups and monoids'.
Professor of computer science in the School of Computer Science and
Information Technology at the University of Nottingham, and leader of the
Automated Scheduling, Optimisation and Planning research group.
Richard Warren, 1989-1992, PhD 1992, 'The structure of k-CS-transitive
cycle-free partial orders'.
Teacher at Ampleforth College.
Philip Creed, 1990-1993, PhD 1994, 'On o-amorphous sets and
quasi-amorphous sets'. Works for Top Level Computing, Stroud.
Graham Mendick, 1993-1997, PhD 1997, 'Notions of Dedekind-finiteness in
model theory'.
Works for Xansa.
Helen Billinge, 1993-1997 (changed to philosophy in 1994 to work with
Steven French), PhD 1998, 'A defence of constructive mathematics'.
Lecturer at St Andrews University, 1996-1997, Junior research fellow,
Wolfson College, Oxford, 1997-1999, British Academy postdoctoral fellow,
King's College, London, and Christ Church, Oxford 1999-2002.
Lecturer in philosophy at the London School of Economics, 2002-
Now working as a school teacher.
Gabriela Campero-Arena, 1998-2002, PhD 2002, 'Transitivity properties of
countable coloured linear orderings'. Lecturer at UNAM, Mexico City.
Debbie Sawyer, 1998-2002, PhD 2003, 'Classification and first-order
properties of one-dimensional discrete dynamical systems'. Works on
operational research for the government (scientific civil service)
Katie Chicot 2000-2004, PhD 2004, 'Transitivity properties of countable
trees'. Clothworkers' Fellow in Mathematics for the
Royal Institution, London, 2004-5.
Staff tutor, Open University from 2005.
Susana Torrezao de Sousa 2000-2004, PhD 2005. 'Countable homogeneous
coloured partial orders'. Working for Deloitte in London from Sept 2005.
Agatha Walczak-Typke 2001-2005, PhD 2005, 'Dedekind-finite structures',
Postdoctoral fellow in Vienna.
Tristan Jenkinson 2002-2006, PhD 2006, 'The construction and classification
of homogeneous structures in model theory',
Works for Macrovision in Maidenhead.
Stephen Lovell 2002-2006, PhD 2007, 'Automorphism groups of
homogeneous structures'. Works for KPMG in Leeds.
David Knipe 2004-2008, Ph D 2009, 'Automorphisms of the countable generic
partial order'. Currently works for 'Autonomy', Cambridge.
Feresiano Mwesigye 2005-2009, Ph D 2009, 'Elementary equivalence of
linear orders and coloured linear orders'. Lecturer at the University of
Mbarare, Uganda.
Ragab Elageili 2007-2011, PhD 2011, 'Free Heyting algebras',
Lectures at Benghazi University, Libya.
Simon Rose 2007-2011, PhD 2011, 'Classification of countable homogeneous
2-graphs.
Former MSc student:
Kaushik Sundararajan MSc by research, 2009, Study of Borel and projective
sets.
Former Diplom students:
Daniel Seidel (Freiberg) Diplomarbeit 2007-8 'Classification of the
countable homogeneous multipartite graphs'.
Roman Ammann (Heidelberg) Diplomarbeit 2008-9 'Blackwell games'.
Current research Students:
|
