Ursula Martin - Ursula Martin

Ursula Hilda Mary Martin CBE FRSE FREng (nascida em 3 de agosto de 1953) é uma cientista da computação britânica , com interesses de pesquisa em ciência da computação teórica e métodos formais . Ela também é conhecida por suas atividades destinadas a incentivar as mulheres nas áreas de computação e matemática. Desde 2019, ela é professora na Escola de Informática da Universidade de Edimburgo .

De 2014-2018, Martin foi Professor de Ciência da Computação no Departamento de Ciência da Computação da Universidade de Oxford e possui uma Bolsa de Carreira Estabelecida EPSRC . Antes disso, ela ocupou a cadeira de Ciência da Computação na Escola de Engenharia Eletrônica e Ciência da Computação na Queen Mary, Universidade de Londres , onde foi Vice-Diretora de Ciência e Engenharia, 2005–2009.

Educação

Martin nasceu em Londres em 3 de agosto de 1953, filho de Anne Louise (nascida Priestman) e do capitão Geoffrey Richard Martin. Ela foi educada no Abbey College em Malvern Wells . Em 1975, ela se formou com um MA pelo Girton College, Cambridge , e em 1979 com um PhD pela University of Warwick , ambos em matemática .

Carreira e pesquisa

Martin começou na matemática trabalhando na teoria dos grupos , mais tarde passando para os sistemas de reescrita de cordas . Ela ocupou cargos acadêmicos na Universidade de Illinois em Urbana-Champaign , na Universidade de Manchester e em Royal Holloway, na Universidade de Londres . Ela fez visitas sabáticas ao Instituto de Tecnologia de Massachusetts e ao SRI International ( Menlo Park ). Em 2004, ela foi Visiting Fellow no Oxford Internet Institute .

De 1992 a 2002, Martin foi Professor de Ciência da Computação na Universidade de St Andrews, na Escócia . Ela foi a primeira professora da Universidade desde sua fundação em 1411.

De 2003 a 2005, Martin foi destacado para o Laboratório de Computação da Universidade de Cambridge em tempo parcial e atuou como diretor do projeto Women @ CL para liderar iniciativas locais, nacionais e internacionais para mulheres na computação , com o apoio da Microsoft Research e da Intel Cambridge Research . Ela foi Fellow do Newnham College, Cambridge .

Martin atuou como editor consultivo do jornal Annals of Pure and Applied Logic (publicado pela Elsevier ) e no conselho editorial do Journal of Computation and Mathematics ( London Mathematical Society ) e Formal Aspects of Computing ( Springer-Verlag ).

Publicações

Suas publicações incluem

• com Christopher Hollings e Adrian Rice , Ada Lovelace: The Making of a Computer Scientist , Bodleian Library, 2018, 114 pp.

honras e prêmios

Martin foi nomeado Comandante da Ordem do Império Britânico (CBE) nas Honras de Ano Novo de 2012 por serviços prestados à ciência da computação. Em 2017, foi eleita Fellow da Royal Society of Edinburgh (FRSE) e da Royal Academy of Engineering (FREng).

Referências