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

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

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

• 1 Образование
• 2 Карьера и исследования
  • 2.1 Публикации
  • 2.2 Почести и награды
• 3 Рекомендации

Мартин родился в Лондоне 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).