Мартин, Урсула

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Урсула Мартин

англ. Ursula Hilda Mary Martin
Имя при рождении
Урсула Хильда Мэри Мартин
Дата рождения
3 августа 1953 года
Место рождения
Лондон, Великобритания


Гражданство
Великобритания Великобритания


Род деятельности
информатик, математик
Место работы


Супруг
Питер Дж. Уэбб


Награды и премии

Премия Suffrage Science (2018)

Сайт

people.maths.ox.ac.uk/martinu//martinu/

Урсула Хильда Мэри Мартин (англ. Ursula Hilda Mary Martin; [Нет даты!]) — британский информатик и математик. Известна исследованиями в области теоретической информатики и формальных методов, а также деятельностью по поддержке женщин в сфере информатики и математики[1][2][3].

Биография[править]

Урсула Мартин родилась 3 августа 1953 года в Лондоне в семье Энн Луиз (в девичестве Пристман) и капитана Джеффри Ричарда Мартина[4]. Училась в Эбби-колледже в Малверн-Уэллсе. В 1975 году окончила Гиртон-колледж Кембриджского университета со степенью магистра искусств, а в 1979 году получила степень доктора философии по математике в Уорикском университете[5][4][6].

В 1975 году вышла замуж за Питера Дж. Уэбба[7].

Мартин начинала научную деятельность в области математики, занимаясь теорией групп, позже перешла к системам переписывания строк. Занимала академические должности в Иллинойсском университете в Урбане-Шампейне, Манчестерском университете и Роял Холлоуэй Лондонского университета. Находилась с творческими отпусками в Массачусетском технологическом институте и SRI International (Менло-Парк). В 2004 году была приглашённым исследователем в Оксфордском институте интернета.

С 1992 по 2002 год работала профессором информатики в Сент-Эндрюсском университете в Шотландии. Она стала второй женщиной-профессором в университете с момента его основания в 1411 году, после Маргарет Фэрли (профессора акушерства и гинекологии, 1940 год)[8].

С 2003 по 2005 год по совместительству работала в Компьютерной лаборатории Кембриджского университета и руководила проектом Women@CL, направленным на поддержку женщин в информатике при содействии Microsoft Research и Intel Cambridge Research[9]. Являлась членом Ньюнхэм-колледжа в Кембридже.

До 2009 года занимала должность профессора информатики в Школе электронной инженерии и информатики Лондонского университета королевы Марии, где в 2005—2009 годах была вице-директором по науке и инженерии[10]. В 2014—2018 годах работала профессором информатики на факультете информатики Оксфордского университета и получала стипендию EPSRC Established Career Fellowship. С 2019 года является профессором Школы информатики Эдинбургского университета.

С 2014 по 2023 год была главным исследователем проекта EPSRC «Социальная машина математики», посвящённого математике как масштабному совместному предприятию людей и компьютеров[11]. Выступала одним из организаторов серии программ Big Proof, проходивших в Институте Исаака Ньютона в 2017[12] и 2025 годах[13], а также в Международном центре математических наук в 2019 году.

Работала редактором-консультантом журнала Annals of Pure and Applied Logic (издательство Elsevier) и входила в состав редколлегий журналов The Journal of Computation and Mathematics (Лондонское математическое общество) и Formal Aspects of Computing (Springer-Verlag).

Награды и звания[править]

В 2012 году Мартин была удостоена звания командора ордена Британской империи (CBE) за заслуги в области информатики[14]. В 2017 году избрана членом Королевского общества Эдинбурга (FRSE)[15] и Королевской инженерной академии (FREng)[16]. В 2025 году удостоена звания дамы-командора ордена Британской империи (DBE) за заслуги в области информатики[17].

Библиография[править]

  • совместно с Кристофером Холлингсом и Адрианом Райсом, Ada Lovelace: The Making of a Computer Scientist, Оксфорд: The Bodleian Library, 2018, 114 с. ISBN 978-1851244881

Примечания[править]

  1. ↑ Ursula Martin. Inf.ed.ac.uk. Проверено 27 июля 2026.
  2. ↑ Women at Queen Mary Exhibition Online - Featured Women - Ursula Martin. Women.qmul.ac.uk. Проверено 27 июля 2026.
  3. ↑ Prof. Ursula Martin CBE FREng FRSE FBCS FIET FIMA | Mathematical Institute. Maths.ox.ac.uk. Проверено 27 июля 2026.
  4. ↑ 4,0 4,1 Martin, Prof. Ursula Hilda Mary / Anon. — online. — Oxford: Oxford University Press, 2017. — DOI:10.1093/ww/9780199540884.013.U258429
  5. ↑ Webb, Ursula Hilda Mary Automorphisms of finitely generated nilpotent groups. warwick.ac.uk (1978). Проверено 27 июля 2026.
  6. ↑ Мартин, Урсулаангл. в проекте «Математическая генеалогия»
  7. ↑ FreeBMD - Search. www.freebmd.org.uk. Проверено 27 июля 2026.
  8. ↑ Professor Ursula Martin CBE FREng FRSE DSc. maths.ox.ac.uk. Проверено 27 июля 2026.
  9. ↑ Women@CL, University of Cambridge, UK.
  10. ↑ Professor Ursula Martin, Vice-Principal for Science & Engineering, QMUL. Queen Mary, University of London (2013-01-03). Проверено 27 июля 2026.
  11. ↑ Ursula Martin's homepage. Проверено 27 июля 2026.
  12. ↑ Big proof. Isaac Newton Institute. Проверено 27 июля 2026.
  13. ↑ Big proof: formalizing mathematics at scale. Isaac Newton Institute. Проверено 27 июля 2026.
  14. ↑ London Gazette (31 декабря 2011 года), стр. 7.
  15. ↑ RSE Welcomes 60 New Fellows. Royal Society of Edinburgh (2017-02-15). Проверено 27 июля 2026.
  16. ↑ 50 leaders in engineering elected to Academy Fellowship. Royal Academy of Engineering. Архивировано из первоисточника 8 сентября 2017. Проверено 12 сентября 2017.
  17. ↑ Birthday Honours List 2025 - High Awards. gov.co.uk. Проверено 27 июля 2026.

Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Мартин, Урсула», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Мартин,_Урсула

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Мартин,_Урсула&oldid=2706913