My first PhD student Elaine Render wrote her thesis on algebraic automata theory and went on to a postdoc at UCLA; she now works for IMDb.com. 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, and is now a research scientist for IBM. 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), 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 Department of Mathematics runs a one-year taught-plus-dissertation MSc programme in Pure Mathematics and Mathematical Logic, which 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.