**Ursula Hilda Mary Martin** CBE FRSE FRE (Londres, 1953ko abuztuaren 3an jaioa) informatikoari britainiarra da, eta informatika teorikoan eta metodo formaletan ikerketa-interesak ditu. Informatikaren eta matematikaren arloetan emakumeak sustatzeko egiten dituen jarduerengatik ere ezaguna da. 2019tik, irakasle izan da Edinburgoko Unibertsitateko Informatika Eskolan.

2014tik 2018ra, Martin informatikako irakasle izan zen Oxfordeko Unibertsitateko Informatika Sailean, eta EPLIk ezarritako karrera-beka bat du. Lehenago, Informatikako katedra bat zuen Maria Erreginaren Ingeniaritza Elektroniko eta Informatikako Eskolan, Londresko Unibertsitatean, non Zientzia eta Ingeniaritzako Zuzendariordea izan zen, 2005-2009 bitartean.

Heziketa
--------

Martin, Londresen jaio zen 1953ko abuztuaren 3an Anne Louiseri (née Priestman) eta Geoffrey Richard Martini. Malvern Wellsen, Abbey Collegen hezi zuten. 1975ean, irakasle izeaterekin graduatu zen Girton Collegen, Cambridgen, eta 1979an, Warwick-eko Unibertsitateko doktoretza batekin, biak matematikan espezializatuak.

Ibilbidea
---------

Martin, matematika lantzen hasi zen taldeen teorian, ondoren sokak berridazteko sistemara mugitu zen. Illinoiseko Unibertsitatean, Manchesterreko Unibertsitatean eta Londresko Unibertsitatean kargu akademikoak izan ditu. Bisita sabatikoak egin ditu Massachusettseko Teknologia Institutura eta SRI Internationalera (Menlo Park). 2004an bekadun bisitaria izan zen Oxford Internet Institute-n.

1992tik 2002ra, informatikako irakasle izan zen Eskoziako St. Andrewseko Unibertsitatean. Bera izan zen unibertsitateko lehen irakaslea 1411n sortu zenetik.

2003tik 2005era, Cambridgeko Unibertsitateko Konputazio Laborategira bidali zuten zerbitzu-eginkizunetan lanaldi partzialean, eta Women@CL proiektuaren zuzendari izan zen, informatikan emakumeentzako tokiko, estatuko eta nazioarteko ekimenak zuzentzeko, Microsoft Research eta Intel Cambridge Research-en laguntzarekin. Newnham Collegeren (Cambridge) lankide bat zen.

Martinek, *Annals of Pure and Applied Logic* aldizkariaren (Elsevierrek argitaratua) editore-aholkulari gisa eta *The Journal of Computation and Math* (London Math Society) eta *Formal Aspects of Computing* (Springer - Verlag) argitalpen-batzordeetan parte hartu du.

### Argitalpenak

Hauek dira haren argitalpenak:

* Christopher Hollings eta Adrian Rice, *Ada Lovelace*: *The Making of a Computer Scientific*, Bodleian Library, 2018, 114 or.

### Ohoreak eta sariak

Martin, Britainiar Inperioaren Ordenaren (CBE) komandante izendatu zuten 2012ko Urte Berriko Ohoreetan, informatikaren zerbitzuetarako. 2017an, Edinburgoko Errege Elkarteko (FRSE) eta Ingeniaritzako Errege Akademiako (FREng) kide hautatu zuten.

Erreferentziak
--------------

1. 1 2   ,  or..
2. ↑   ,  or..
3. ↑   ,  or..
4. ↑   ,  or..
5. ↑   ,  or..
6. ↑   ,  or..
7. 1 2   ,  or..
8. ↑   ,  or..
9. ↑   ,  or..
10. ↑   ,  or..
11. ↑   ,  or..
12. ↑   ,  or..
13. ↑   ,  or..
14. ↑   ,  or..
15. ↑   ,  or..

Kanpo estekak
-------------

|  |  |
| --- | --- |
| Autoritate kontrola | 
* **Wikimedia proiektuak**
* Wd Datuak: Q14010
* **Identifikadoreak**
* WorldCat
* VIAF: 71858813
* ISNI: 0000 0000 8152 2855
* GND: 116077868X
* LCCN: n92107332
* NKC: jo20181000661
* SUDOC: 250189186
* ORCID: 0000-0002-1908-5927
* MGP: 32924
* Google Scholar: dM-hgFkAAAAJ

 |

* Wd Datuak: Q14010