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 first 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. My second student David Wilding wrote his thesis on the algebra structure of semirings, and also works in the software industry. 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), Benjamin Tilley (MSc 2013) and Jia Hao Lee (MSc 2015). My former postdocs include Christopher Hollings (now a lecturer in Oxford), Marianne Johnson (now a lecturer in Manchester), Markus Pfeiffer (currently a postdoc in St Andrews), James Hook (still in Manchester but 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.