Урсула Хильда Мэри Мартин (родилась 3 августа 1953 года) — британский учёный-компьютерщик , занимающийся исследованиями в области теоретической информатики и формальных методов . Она также известна своей деятельностью, направленной на поощрение женщин в области вычислительной техники и математики. С 2019 года она занимает должность профессора в Школе информатики Эдинбургского университета . [2] [3] [4] [5] [6]
С 2014 по 2018 год Мартин была профессором компьютерных наук на кафедре компьютерных наук Оксфордского университета и имеет стипендию EPSRC Established Career Fellowship. До этого она занимала кафедру компьютерных наук в Школе электронной инженерии и компьютерных наук в Королевском университете Мэри, Лондон , где она была вице-директором по науке и инженерии, 2005–2009. [7]
Мартин родилась в Лондоне 3 августа 1953 года в семье Энн Луизы (урожденной Пристман) и капитана Джеффри Ричарда Мартина. [8] Она получила образование в Abbey College в Малверн-Уэллсе . В 1975 году она окончила колледж Гиртон в Кембридже со степенью магистра , а в 1979 году — со степенью доктора философии в Университете Уорика , обе по математике . [9] [8] [1]
Мартин начала заниматься математикой, работая над теорией групп , а затем перешла к системам переписывания строк . [10] Она занимала академические должности в Университете Иллинойса в Урбане-Шампейне , Университете Манчестера и Королевском Холлоуэе, Лондонском университете . Она совершала творческие визиты в Массачусетский технологический институт и SRI International ( Менло-Парк ). В 2004 году она была приглашенным научным сотрудником в Оксфордском институте Интернета . [11]
С 1992 по 2002 год Мартин была профессором компьютерных наук в Университете Сент-Эндрюс в Шотландии . Она была второй женщиной-профессором в университете, после Маргарет Фэрли (профессор акушерства и гинекологии, 1940), с момента его основания в 1411 году. [12] [13]
С 2003 по 2005 год Мартин была откомандирована на неполный рабочий день в компьютерную лабораторию Кембриджского университета и занимала должность директора проекта Women@CL [14] для руководства местными, национальными и международными инициативами для женщин в области вычислительной техники , поддерживаемыми Microsoft Research и Intel Cambridge Research . Она была членом Newnham College, Cambridge .
Мартин работал редактором-консультантом журнала Annals of Pure and Applied Logic (издательство Elsevier ), а также входил в редколлегии журналов The Journal of Computation and Mathematics ( Лондонское математическое общество ) и Formal Aspects of Computing ( Springer-Verlag ).
Среди ее публикаций:
Мартин была назначена Командором Ордена Британской империи (CBE) в новогодних почестях 2012 года за заслуги в области компьютерных наук. [15] В 2017 году она была избрана членом Королевского общества Эдинбурга (FRSE) [16] и Королевской инженерной академии (FREng). [17]