Ursula Martin

Dame Ursula Hilda Mary Martin (nacida el 3 de agosto de 1953) es una científica informática británica , cuyos intereses de investigación se centran en la informática teórica y los métodos formales . También es conocida por sus actividades dirigidas a fomentar la participación de las mujeres en los campos de la informática y las matemáticas. Desde 2019, ejerce como profesora en la Escuela de Informática de la Universidad de Edimburgo . ^{[ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ]}

Entre 2014 y 2018, Martin fue catedrática de informática en el Departamento de Informática de la Universidad de Oxford y es becaria de carrera consolidada del EPSRC . Anteriormente, ocupó la cátedra de Informática en la Escuela de Ingeniería Electrónica e Informática de Queen Mary, Universidad de Londres , donde fue vicerrectora de Ciencia e Ingeniería entre 2005 y 2009. ^{[ 7 ]}

Martin nació en Londres el 3 de agosto de 1953, hija de Anne Louise (de soltera Priestman) y del capitán Geoffrey Richard Martin. ^{[ 8 ]} Se educó en el Abbey College de Malvern Wells . En 1975 se graduó con una maestría del Girton College de Cambridge y en 1979 con un doctorado de la Universidad de Warwick , ambos en matemáticas . ^{[ 9 ] [ 8 ] [ 1 ]}

Martin comenzó su carrera en matemáticas trabajando en teoría de grupos , para luego dedicarse a los sistemas de reescritura de cadenas . ^{[ 10 ]} Ha ocupado cargos académicos en la Universidad de Illinois en Urbana-Champaign , la Universidad de Manchester y Royal Holloway, Universidad de Londres . Ha realizado estancias sabáticas en el Instituto Tecnológico de Massachusetts y en SRI International ( Menlo Park ). En 2004 fue investigadora visitante en el Instituto de Internet de Oxford . ^{[ 11 ]}

De 1992 a 2002, Martin fue catedrática de Informática en la Universidad de St Andrews en Escocia . Fue la segunda mujer catedrática de la Universidad, después de Margaret Fairlie (catedrática de Obstetricia y Ginecología, 1940), desde su fundación en 1411. ^{[ 12 ] [ 13 ]}

De 2003 a 2005, Martin trabajó a tiempo parcial en el Laboratorio de Informática de la Universidad de Cambridge y fue directora del proyecto Women@CL ^{[ 14 ]} para liderar iniciativas locales, nacionales e internacionales para mujeres en la informática , con el apoyo de Microsoft Research e Intel Cambridge Research . Fue miembro del Newnham College de Cambridge .

De 2014 a 2023, Martin fue investigadora principal del proyecto EPSRC The Social Machine of Mathematics sobre las matemáticas como una empresa colaborativa a gran escala entre humanos y computadoras. ^{[ 15 ]} Fue una de las organizadoras de la serie de programas Big Proof que se llevó a cabo en el Instituto Isaac Newton en 2017 ^{[ 16 ]} y 2025, ^{[ 17 ]} y en el Centro Internacional de Ciencias Matemáticas en 2019. ^{[ 18 ]}

Martin ha ejercido como editor asesor de la revista Annals of Pure and Applied Logic (publicada por Elsevier ) y ha formado parte de los consejos editoriales de The Journal of Computation and Mathematics ( London Mathematical Society ) y Formal Aspects of Computing ( Springer-Verlag ).

En 1975, se casó con Peter J. Webb. ^{[ 23 ]}