Урсула Мартин - Ursula Martin

Урсула Хильда Мэри Мартин CBE FRSE FREng (родилась 3 августа 1953 г.) - британский ученый-компьютерщик , занимающийся исследованиями в области теоретической информатики и формальных методов . Она также известна своей деятельностью, направленной на поощрение женщин в области вычислений и математики. С 2019 года она работает профессором Школы информатики Эдинбургского университета .

От 2014-2018, Мартин был профессором компьютерных наук в Департаменте компьютерных наук в Оксфордском университете и проводит EPSRC установления карьеры Fellowship. До этого она занимала кафедру компьютерных наук в Школе электронной инженерии и компьютерных наук Королевы Марии Лондонского университета , где в 2005–2009 гг. Занимала должность заместителя директора по науке и технике.

Образование

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

Карьера и исследования

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

С 1992 по 2002 год Мартин был профессором компьютерных наук в Университете Сент-Эндрюс в Шотландии . Она была первой женщиной-профессором в университете с момента его основания в 1411 году.

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

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

Публикации

Ее публикации включают

• с Кристофером Холлингсом и Адрианом Райсом , Ада Лавлейс: Создание компьютерного ученого , Бодлианская библиотека, 2018, 114 стр.

Почести и награды

Мартин был назначен главнокомандующим Ордена Британской Империи (CBE) в новогодних наградах 2012 года за заслуги перед компьютерными науками. В 2017 году она была избрана членом в Эдинбургского королевского общества (FRSE) и Королевской инженерной академии (FREng).

Рекомендации