A medalha de prata do CNRS de 1996 figura entre os reconhecimentos formais a Marie-Claude Gaudel, uma cientista da computação e matemática francesa cuja carreira uniu o intervalo entre a especificação abstrata e a aplicação industrial. Desde o seu nascimento em Nancy em 1946, passou décadas promovendo o desenvolvimento de métodos de teste formais e linguagens de especificação de software dentro do panorama académico europeu.
Formação académica
Gaudel iniciou a sua educação na Universidade de Nancy, onde se focou na interseção da matemática e as suas aplicações fundamentais. Obteve um mestrado em 1968, seguido de um DEA em Matemática em 1969. A sua transição para a ciência da computação solidificou-se com um doutoramento de pós-graduação em 1971, culminando num doutoramento de Estado em 1980.
Investigação e desenvolvimento
A sua trajetória profissional começou no Instituto Nacional de Investigação em Informática e Automação da França em 1973. Entre 1981 e 1984, geriu o grupo de Engenharia de Software no centro de investigação da Alcatel-Alsthom em Marcoussis. Em 1984, juntou-se à Universidade de Paris-Sul em Orsay como professora. Durante as décadas de 1980 e 1990, contribuiu para a criação da linguagem PLUSS para especificações de software e o ambiente ASSPEGIQUE, enquanto a sua equipa desenvolvia o sistema LOFT para a seleção de dados de teste.
Metodologias de teste
A sua produção académica examinou consistentemente os testes de software através da lente das especificações formais. Na década de 2000, colaborou com investigadores da Universidade de York para testar software escrito na linguagem Circus. A sua investigação expandiu-se para a verificação aproximada de software e a conceção de algoritmos para testes aleatórios de software e análise.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento profissional
Gaudel reformou-se da sua cátedra na Universidade de Paris-Sul em março de 2007. A sua carreira inclui um Doutoramento Honoris Causa da EPFL em 1995 e da Universidade de York em 2013, além de ser nomeada Cavaleira da Legião de Honra em 2011. Continua a ser uma participante ativa em sociedades científicas, servindo em comités de programa e editando para revistas incluindo The Science of Computer Programming e Formal Aspects of Computing.
Factos rápidos
- Nascimento: 1946, Nancy, França - Área: Ciência da computação e matemática - Educação: Universidade de Nancy - Prémio: Medalha de prata do CNRS (1996) - Prémio: Cavaleira da Legião de Honra (2011) - Doutoramento Honoris Causa: EPFL (1995), Universidade de York (2013)
Perguntas frequentes
### Qual é o foco principal da investigação de Marie-Claude Gaudel?
Especializa-se em ciência da computação teórica e aplicada, focando-se especificamente em testes de software baseados em especificações formais.
### Marie-Claude Gaudel continua ativa na comunidade científica?
Sim, embora se tenha retirado da Universidade de Paris-Sul em 2007, continua a servir em comités de programa e a editar revistas académicas.
