Ursula Hilda Mary Martin (nacida el 3 de agosto de 1953) es una científica informática británica, con intereses de investigación en informática teórica y métodos formales. También es conocida por sus actividades destinadas a impulsar el trabajo de las mujeres en los campos de la informática y las matemáticas. Desde 2019, es profesora en la Escuela de Informática de la Universidad de Edimburgo.
De 2014 a 2018, Martin fue profesora de Ciencias de la Computación en el Departamento de Ciencias de la Computación de la Universidad de Oxford y cuenta con una beca de carrera establecida del EPSRC. Anteriormente, ocupó la cátedra de Ciencias de la Computación en la Escuela de Ingeniería Electrónica y Ciencias de la Computación de Queen Mary, Universidad de Londres, donde fue vicerrectora de Ciencias e Ingeniería entre 2005 y 2009.
Martin comenzó en matemáticas trabajando en teoría de grupos, y posteriormente se dedicó a los sistemas de reescritura de cadenas. Ha ocupado puestos académicos en la Universidad de Illinois en Urbana-Champaign, la Universidad de Manchester y Royal Holloway, Universidad de Londres. Realizó estancias sabáticas en el Instituto Tecnológico de Massachusetts (MIT) y SRI International (Menlo Park). En 2004, fue investigadora visitante en el Oxford Internet Institute.
De 1992 a 2002, Martin fue profesora de Ciencias de la Computación en la Universidad de St. Andrews, Escocia. Fue la segunda profesora de la Universidad, después de Margaret Fairlie (Catedrática de Obstetricia y Ginecología, 1940), desde su fundación en 1411.
De 2003 a 2005, Martin estuvo adscrita a tiempo parcial al Laboratorio de Computación de la Universidad de Cambridge y dirigió el proyecto Women@CL para liderar iniciativas locales, nacionales e internacionales para mujeres en informática, con el apoyo de Microsoft Research e Intel Cambridge Research. Fue miembro del Newnham College de Cambridge.
Martin se ha desempeñado como editor asesor de la revista Annals of Pure and Applied Logic (publicada por Elsevier) y en los consejos editoriales de The Journal of Computation and Mathematics (London Mathematical Society) y Formal Aspects of Computing (Springer-Verlag).