Урсула Мартин
Урсула Мартин | |
|---|---|
| Рожденный | Урсула Хильда Мэри Уэбб 3 августа 1953 г. Лондон, Великобритания |
| Гражданство | Британский |
| Образование | Эбби-колледж, Малверн |
| Альма-матер |
|
| Награды | Премия в области избирательного права (2018 г.) |
| Научная карьера | |
| Поля | Математика Информатика |
| Учреждения | |
| Диссертация | Автоморфизмы конечно порожденных нильпотентных групп (1979) |
| Докторантура | Стюарт Э. Стоунхьюер [1] |
| Веб-сайт | люди |
Урсула Хильда Мэри Мартин CBE FRSE FREng [2] (родился 3 августа 1953 г.) — британский учёный-компьютерщик , занимающийся исследовательскими интересами в области теоретической информатики и формальных методов . Она также известна своей деятельностью, направленной на поощрение женщин в области информатики и математики. С 2019 года является профессором Школы информатики Эдинбургского университета . [3] [4] [5] [6] [7]
В 2014–2018 годах Мартин был профессором компьютерных наук на факультете компьютерных наук и Оксфордского университета имеет EPSRC карьерную стипендию . До этого она возглавляла кафедру компьютерных наук в Школе электронной инженерии и компьютерных наук Лондонского университета Королевы Марии , где она была проректором по науке и технике в 2005–2009 годах. [8]
Образование
[ редактировать ]Мартин родился в Лондоне 3 августа 1953 года в семье Анны Луизы (урожденной Пристман) и капитана Джеффри Ричарда Мартина. [9] Она получила образование в Эбби-колледже в Малверн-Уэллсе . со степенью магистра В 1975 году она окончила Гиртон-колледж в Кембридже , а в 1979 году — со степенью доктора философии в Уорикском университете по математике . [10] [9] [1]
Карьера и исследования
[ редактировать ]Мартин начал заниматься математикой, работая в теории групп , а затем перешел к системам переписывания строк . [11] Она занимала академические должности в Университете Иллинойса в Урбана-Шампейн , Манчестерском университете и Ройял Холлоуэй, Лондонском университете . Она совершила творческий отпуск в Массачусетском технологическом институте и SRI International ( Менло-Парк ). В 2004 году она была приглашенным научным сотрудником в Оксфордском институте Интернета . [12]
С 1992 по 2002 год Мартин был профессором компьютерных наук в Университете Сент-Эндрюс в Шотландии . Она была второй женщиной-профессором в университете после Маргарет Фэрли (профессор акушерства и гинекологии, 1940 г.) с момента его основания в 1411 г. [13] [14]
С 2003 по 2005 год Мартин была прикомандирована к компьютерной лаборатории Кембриджского университета на неполный рабочий день и занимала должность директора проекта Women@CL. [15] возглавлять местные, национальные и международные инициативы для женщин в области компьютерных технологий при поддержке Microsoft Research и Intel Cambridge Research . Она была членом Ньюнхэм-колледжа в Кембридже .
Мартин работал редактором-консультантом в журнале Annals of Pure and Applied Logic (издаваемом Elsevier ), а также в редакционных советах The Journal of Computation and Mathematics ( Лондонское математическое общество ) и Formal Aspects of Computing ( Springer-Verlag ).
Публикации
[ редактировать ]Среди ее публикаций:
- с Кристофером Холлингсом и Адрианом Райсом, Ада Лавлейс: Становление ученого-компьютерщика , Оксфорд: Бодлианская библиотека , 2018, 114 стр. ISBN 978-1851244881
Почести и награды
[ редактировать ]Мартин был назначен кавалером Ордена Британской Империи (CBE) в новогодней награде 2012 года за заслуги в области информатики. [16] В 2017 году она была избрана членом Королевского общества Эдинбурга (FRSE). [17] и Королевская инженерная академия (FREng). [18]
Ссылки
[ редактировать ]- ^ Jump up to: а б Урсула Мартин в проекте «Математическая генеалогия»
- ^ «Профессор королевы Марии Урсула Мартин награждена CBE в Новогоднем списке наград королевы» . Великобритания: Королева Мария, Лондонский университет . 3 января 2013 года . Проверено 1 марта 2015 г.
- ^ «Урсула Мартин» . Inf.ed.ac.uk.
- ^ «Женщины на онлайн-выставке Королевы Марии - Избранные женщины - Урсула Мартин» . Women.qmul.ac.uk . Проверено 3 ноября 2021 г.
- ^ «Публикации» . Dcs.qmul.ac.uk. Проверено 3 ноября 2021 г.
- ^ «Проф. Урсула Мартин CBE FREng FRSE FBCS FIET FIMA | Математический институт» . Maths.ox.ac.uk . Проверено 3 ноября 2021 г.
- ^ Урсула Мартин на DBLP библиографическом сервере
- ^ «Профессор Урсула Мартин, проректор по науке и технике, QMUL» . Великобритания: Королева Мария, Лондонский университет . 3 января 2013 года . Проверено 1 марта 2015 г.
- ^ Jump up to: а б Анон (2017). «Мартин, профессор Урсула Хильда Мэри» . Кто есть кто (онлайн- изд. Oxford University Press ). Оксфорд: A&C Black. дои : 10.1093/ww/9780199540884.013.U258429 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Уэбб, Урсула Хильда Мэри (1978). Автоморфизмы конечно порожденных нильпотентных групп . warwick.ac.uk (докторская диссертация). Университет Уорика. EThOS uk.bl.ethos.476751 .
- ^ Грэм А. Нибло; Мартин А. Роллер (30 июля 1993 г.). Геометрическая теория групп . Издательство Кембриджского университета. п. 37. ИСБН 978-0-521-43529-1 .
- ^ «Доктор Урсула Мартин: бывший приглашенный научный сотрудник» . Великобритания: Оксфордский институт Интернета . Проверено 1 марта 2015 г.
- ^ «Профессор Урсула Мартин, CBE FREng FRSE, доктор наук» . maths.ox.ac.uk . Проверено 4 июля 2024 г.
- ^ Специальные коллекции Сент-Эндрюса (7 марта 2017 г.). «Женщины-новаторы в Университете Сент-Эндрюс: празднование Международного женского дня» . Special-collections.wp.st-andrews.ac.uk . Проверено 4 июля 2024 г.
- ^ Women@CL , Кембриджский университет , Великобритания.
- ^ «№60009» . Лондонская газета (Приложение). 31 декабря 2011 г. с. 7.
- ^ «РФБ приветствует 60 новых сотрудников» (пресс-релиз). Королевское общество Эдинбурга . 15 февраля 2017 года . Проверено 28 марта 2017 г.
- ^ «50 лидеров инженерного дела избраны в стипендию Академии» . Raeng.org.uk . Проверено 12 сентября 2017 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1953 года рождения
- Живые люди
- Выпускники Гиртон-колледжа, Кембридж
- Выпускники Уорикского университета
- Британские ученые-компьютерщики
- Формальные методы люди
- Факультет Университета Иллинойса Урбана-Шампейн
- Академики Манчестерского университета
- Академики Ройал Холлоуэй, Лондонский университет
- Академики Университета Сент-Эндрюс
- Стипендиаты Ньюнхэм-колледжа, Кембридж
- Члены Королевской инженерной академии
- Женщины-стипендиаты Королевской инженерной академии
- Преподаватели Лондонского университета королевы Марии
- Члены кафедры компьютерных наук Оксфордского университета
- Редакторы британских академических журналов
- Британские женщины-компьютерщики
- Кавалеры Ордена Британской Империи
- Члены Королевского общества Эдинбурга
- Женщины-инженеры XXI века