[9][8][1] Martin began in mathematics working in group theory, later moving into string rewriting systems.
She has made sabbatical visits to Massachusetts Institute of Technology and SRI International (Menlo Park).
[12][13] From 2003 to 2005, Martin was seconded to the University of Cambridge Computer Laboratory part-time and served as the director of the Women@CL project[14] to lead local, national and international initiatives for women in computing, supported by Microsoft Research and Intel Cambridge Research.
Martin has served as an advisory editor for the Annals of Pure and Applied Logic journal (published by Elsevier) and on the editorial boards for The Journal of Computation and Mathematics (London Mathematical Society) and Formal Aspects of Computing (Springer-Verlag).
Her publications include: Martin was appointed Commander of the Order of the British Empire (CBE) in the 2012 New Year Honours for services to computer science.