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 alentar a las mujeres en los campos de la informática y las matemáticas. Desde 2019, se desempeña como profesora en la Escuela de Informática de la Universidad de Edimburgo . [2] [3] [4] [5] [6]
Entre 2014 y 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 posee una beca de carrera establecida del EPSRC . Antes de esto, ocupó una 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, 2005-2009. [7]
Martin nació en Londres el 3 de agosto de 1953, hija de Anne Louise (née Priestman) y el capitán Geoffrey Richard Martin. [8] Estudió en el Abbey College de Malvern Wells . En 1975 se graduó con una maestría en el Girton College de Cambridge y en 1979 con un doctorado en la Universidad de Warwick , ambas en matemáticas . [9] [8] [1]
Martin comenzó en matemáticas trabajando en teoría de grupos , para luego pasar a sistemas de reescritura de cadenas . [10] Ha ocupado puestos académicos en la Universidad de Illinois en Urbana-Champaign , la Universidad de Manchester y Royal Holloway, Universidad de Londres . Ha realizado visitas sabáticas al Instituto Tecnológico de Massachusetts y al SRI International ( Menlo Park ). En 2004 fue investigadora visitante en el Oxford Internet Institute . [11]
De 1992 a 2002, Martin fue profesora de informática en la Universidad de St Andrews en Escocia . Fue la segunda profesora mujer en ocupar ese puesto, después de Margaret Fairlie (profesora de obstetricia y ginecología, 1940), desde su fundación en 1411. [12] [13]
De 2003 a 2005, Martin estuvo destinada a tiempo parcial en el Laboratorio de Computación de la Universidad de Cambridge y se desempeñó como directora del proyecto Women@CL [14] 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, 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 ).
Entre sus publicaciones se incluyen:
Martin fue nombrada Comandante de la Orden del Imperio Británico (CBE) en los Honores de Año Nuevo de 2012 por sus servicios a la ciencia informática. [15] En 2017 fue elegida miembro de la Royal Society of Edinburgh (FRSE) [16] y de la Royal Academy of Engineering (FREng). [17]