My current graduate students are Matthew Taylor (who started his PhD in 2012) and Peter Fenner (who started in 2014 and is supervised jointly with Marianne Johnson). My other student David Wilding recently completed his PhD.
My former PhD student Elaine Render wrote her thesis on algebraic automata theory and went on to a postdoc at UCLA; she now works as a software developer in Bath. Other former students include Peter Walker (MSc 2008) who wrote a dissertation on Synchronising Automata and a Conjecture of Cerny, Katharine Barr (MSc 2009, went on to gain her PhD in Leeds), James Redhead (MSc 2010), Maria Mir (MSc 2012) and Benjamin Tilley (MSc 2013). My former postdocs include Christopher Hollings (currently a postdoc in Oxford), Marianne Johnson (now a permanent lecturer in Manchester), Markus Pfeiffer (now a postdoc in St Andrews), James Hook (still in Manchester but now working chiefly with Francoise Tisseur) and Meisam Sharify.
If you are interested in working with me as a research student or postdoc, please feel free to get in touch. It would be helpful if you could describe your experience and the area you would like to work in. Some fully funded PhD places are available each year (usually for students with a well-above-borderline first class degree). Alternatively, the School of Mathematics also runs a one-year taught-plus-dissertation MSc programme in Pure Mathematics and Mathematical Logic, which you might consider taking possibly as a precursor to doctoral study. If you would like to work in one of my research areas, I would be happy to consider supervising your final dissertation. For full details of the School's postgraduate programmes, look here.