My first PhD student Elaine Render wrote her thesis on algebraic automata theory and went on to a postdoc at UCLA. My second student, David Wilding, wrote his thesis on the algebra structure of semirings. My third student Matthew Taylor's thesis was on identities in tropical matrix semigroups and modules over the tropical semiring. My fourth PhD student, Peter Fenner, worked on algorithmic problems in boolean matrix monoids, including in particular gossip monoids. 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), Jia Hao Lee (MSc 2015) and Stuart Hearn (MSc 2017). My former postdocs include Christopher Hollings (now a lecturer in Oxford), Marianne Johnson (now a senior lecturer in Manchester), Markus Pfeiffer (currently a research fellow in St Andrews), James Hook (now a lecturer in in Bath) and Meisam Sharify (now an assistant professor at Isfahan University of Technology).
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 makes an excellent 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 for taught masters and here for research programmes.