Ursule Martin - Ursula Martin

Ursule Martin

Née
Ursula Hilda Mary Webb

( 1953-08-03 )3 août 1953 (67 ans)
Londres, Royaume-Uni
Citoyenneté Britanique
Éducation Collège de l'abbaye, Malvern
mère nourricière
Récompenses Prix ​​de la science du suffrage (2018)
Carrière scientifique
Des champs Mathématiques
Informatique
Établissements
Thèse Automorphismes des groupes nilpotents à génération finie  (1979)
Conseiller de doctorat Stewart E. Stonehewer
Site Internet personnes .maths .ox .ac .uk /martinu /

Ursula Hilda Mary Martin CBE FRSE FREng (née le 3 août 1953) est une informaticienne britannique , avec des intérêts de recherche en informatique théorique et méthodes formelles . Elle est également connue pour ses activités visant à encourager les femmes dans les domaines de l'informatique et des mathématiques. Depuis 2019, elle est professeure à la School of Informatics de l'Université d'Édimbourg .

De 2014 à 2018, Martin a été professeur d' informatique au département d'informatique de l' Université d'Oxford et titulaire d'une bourse de carrière établie par l' EPSRC . Auparavant, elle a occupé une chaire d'informatique à la School of Electronic Engineering and Computer Science de Queen Mary, Université de Londres , où elle était vice-principale des sciences et de l'ingénierie, de 2005 à 2009.

Éducation

Martin est né à Londres le 3 août 1953 d'Anne Louise (née Priestman) et du capitaine Geoffrey Richard Martin. Elle a fait ses études à Abbey College à Malvern Wells . En 1975, elle a obtenu une maîtrise du Girton College, Cambridge , et en 1979, un doctorat de l' Université de Warwick , tous deux en mathématiques .

Carrière et recherche

Martin a commencé en mathématiques en travaillant sur la théorie des groupes , puis s'est spécialisé dans les systèmes de réécriture de cordes . Elle a occupé des postes universitaires à l' Université de l'Illinois à Urbana-Champaign , à l' Université de Manchester et à Royal Holloway, à l'Université de Londres . Elle a effectué des visites sabbatiques au Massachusetts Institute of Technology et au SRI International ( Menlo Park ). En 2004, elle a été Visiting Fellow à l' Oxford Internet Institute .

De 1992 à 2002, Martin a été professeur d'informatique à l' Université de St Andrews en Écosse . Elle a été la première femme professeur à l'Université depuis sa fondation en 1411.

De 2003 à 2005, Martin a été détaché à temps partiel au Laboratoire informatique de l' Université de Cambridge et a été directeur du projet Women@CL pour diriger des initiatives locales, nationales et internationales pour les femmes dans l'informatique , soutenues par Microsoft Research et Intel Cambridge Research. . Elle était membre du Newnham College de Cambridge .

Martin a été éditeur consultatif pour la revue Annals of Pure and Applied Logic (publiée par Elsevier ) et membre des comités de rédaction de The Journal of Computation and Mathematics ( London Mathematical Society ) et Formal Aspects of Computing ( Springer-Verlag ).

Publications

Ses publications comprennent

Honneurs et récompenses

Martin a été nommé Commandeur de l'Ordre de l'Empire britannique (CBE) lors des honneurs du Nouvel An 2012 pour services rendus à l'informatique. En 2017, elle a été élue membre de la Royal Society of Edinburgh (FRSE) et de la Royal Academy of Engineering (FREng).

Les références