# Ursula Martin

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 2 , https://www.qmul.ac.uk/media/news/items/61468.html or..
* ↑ , https://www.inf.ed.ac.uk/people/staff/Ursula_Martin.html or..
* ↑ , http://www.women.qmul.ac.uk/virtual/women/atoz/martinu.htm or..
* ↑ , https://www.maths.ox.ac.uk/people/ursula.martin or..
* ↑ , https://dblp.org/pid/94/5444.html or..
* ↑ , http://www.women.qmul.ac.uk/virtual/women/atoz/martinu.htm or..
* 1 2 , https://www.ukwhoswho.com/view/10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-258429;jsessionid=2B4DC9ECA237C27893E8F08FC3B12110 or..
* ↑ , http://wrap.warwick.ac.uk/140410/ or..
* ↑ , https://books.google.es/books?id=lK2hpcVAtX0C&pg=PA37&redir_esc=y#v=onepage&q&f=false or..
* ↑ , https://www.oii.ox.ac.uk/people/?id=48 or..
* ↑ , https://www.maths.ox.ac.uk/people/ursula.martin or..
* ↑ , https://www.cst.cam.ac.uk/women or..
* ↑ , https://en.wikipedia.org/wiki/The_London_Gazette or..
* ↑ , https://rse.org.uk/rse-welcomes-60-new-fellows/ or..
* ↑ , https://www.raeng.org.uk/news/news-releases/2017/september/50-leaders-in-engineering-elected-to-academy-fello or..

## Kanpo estekak

* Datuak: Q14010