Muffy Calder - Muffy Calder
Muffy Calder
| |
---|---|
Nascer |
Muffy Thomas
21 de maio de 1958 |
Alma mater |
University of Stirling (BSc) University of St Andrews (PhD) |
Conhecido por |
problema de interação de recursos Conselheiro Científico Chefe da Escócia |
Cônjuge (s) | David Calder |
Prêmios |
FRSE (2000) FIEE (2002) FBCS (2002) OBE (2011) FREng (2013) |
Carreira científica | |
Campos | métodos formais |
Instituições |
University of Glasgow University of Stirling University of St Andrews University of Edinburgh |
Tese | A implementação imperativa de tipos de dados algébricos (1988) |
Orientador de doutorado | Roy Dyckhoff |
Local na rede Internet | www |
Dame Muffy Calder DBE FREng FRSE FBCS FIEE ( nascida Thomas ; nascida em 21 de maio de 1958) é uma cientista da computação escocesa , vice-diretora e chefe da Faculdade de Ciências e Engenharia, e professora de Métodos Formais na Universidade de Glasgow . De 2012 a 2015 ela foi Conselheira Científica Chefe do Governo Escocês .
Biografia
Calder nasceu como Muffy Thomas em 21 de maio de 1958 em Shawinigan , Quebec , Canadá , filho de Lois van Thomas ( nascida Hallen) e Carmen van Thomas. Ela se formou em ciências da computação pela University of Stirling e completou um PhD em ciência da computação na University of St Andrews em 1987 sob a supervisão de Roy Dyckhoff. Ela publicou amplamente sob o sobrenome Thomas antes de seu casamento com David Calder em 1998.
Ela trabalha na Universidade de Glasgow desde 1988 e foi Reitora de Pesquisa na Faculdade de Ciências e Engenharia até 2012. Ela se tornou Conselheira Científica Chefe do Governo Escocês em 1 de março de 2012. Anteriormente, Calder atuou como Presidente da Computação do Reino Unido Comitê de Pesquisa e Presidente do Comitê de Pesquisa em Computação da British Computer Society Academy. Ela se tornou Vice-Diretora e Chefe da Faculdade de Ciências e Engenharia em 2015. Em 2015, ela foi nomeada para o Conselho de Engenharia e Ciências Físicas do Conselho de Pesquisa .
Pesquisa
Calder resume seus interesses de pesquisa como "modelagem matemática e raciocínio automatizado para sistemas simultâneos de comunicação". Calder publicou uma visão geral influente sobre o problema de interação de recursos , com mais de 300 citações no Google Scholar. Sua pesquisa se estendeu à aplicação de métodos de ciência da computação a redes bioquímicas e sinalização celular em bioinformática , resultando em uma série de artigos.
Prêmios e reconhecimento
Calder foi nomeado Ordem do Império Britânico (OBE) nas Honras de Ano Novo de 2011 por serviços prestados à ciência da computação e Dama Comandante da Ordem do Império Britânico (DBE) nas Honras de Aniversário de 2020 por serviços de pesquisa e educação.
Ela tem bolsas de estudo da Royal Society of Edinburgh (2000), da British Computer Society (2002), do Institution of Electrical Engineers (2002) e da Royal Academy of Engineering (2013).
Calder foi listada como a 21ª mulher mais influente na Escócia em 2012 pelo The Herald .