Radhia Cousot - Radhia Cousot
Radhia Cousot | |
---|---|
Nascermos |
|
6 de agosto de 1947
Morreu | 1 de maio de 2014 |
(com 67 anos)
Nacionalidade | francês |
Alma mater | Institut National Polytechnique de Lorraine |
Conhecido por | Interpretação abstrata |
Esposo (s) | Patrick Cousot |
Prêmios |
Prêmio de Realização de Linguagens de Programação ACM SIGPLAN Prêmio Harlan D. Mills da IEEE Computer Society |
Carreira científica | |
Campos | Ciência da Computação |
Tese | Fondements des méthodes de preuve d'invariance et de fatalité de programs parallèles (1985) |
Orientador de doutorado | Claude Pair |
Radhia Cousot (6 de agosto de 1947 - 1 de maio de 2014) foi uma cientista da computação francesa conhecida por inventar a interpretação abstrata .
Estudos
Radhia Cousot nasceu em 6 de agosto de 1947, em Sakiet Sidi Youssef, na Tunísia , onde sobreviveu ao massacre das crianças em sua escola em 8 de fevereiro de 1958 . Em seguida, frequentou o Lycée de jeunes filles em Sousse , o Lycée français em Argel e depois a Escola Politécnica de Argel (onde foi classificada em 1ª e única mulher). Ela se especializou em otimização matemática e programação linear inteira . Apoiada por uma bolsa da UNESCO (1972–1975), ela obteve um mestrado em Ciência da Computação ( Diplôme d'études Approfondies (DEA) ) na Universidade Joseph Fourier de Grenoble em 1972. Ela obteve seu Doutorado em Ciências / Doutorado Estadual em Matemática em Nancy em 1985 sob a supervisão de Claude Pair .
Carreira
Radhia Cousot foi nomeada cientista pesquisadora associada no laboratório IMAG da Universidade Joseph Fourier de Grenoble (1975-1979) e, a partir de 1980, no Centre national de la recherche scientifique , como cientista pesquisadora júnior, cientista pesquisadora, cientista pesquisadora sênior, e cientista pesquisadora sênior emérita nos laboratórios de Ciência da Computação da Universidade Henri Poincaré de Nancy (1980-1983), na Universidade de Paris-Sud em Orsay (1984-1988), na École Polytechnique (1989-2008), onde a partir de 1991 ela dirigiu a equipe de pesquisa “Semântica, Prova e Interpretação Abstrata”, e a École Normale Supérieure (2006–2014).
Realizações científicas
Junto com seu marido Patrick , Radhia Cousot é a criadora da interpretação abstrata , uma técnica influente nos métodos formais . A interpretação abstrata é baseada em três idéias principais.
- Qualquer raciocínio / prova / análise estática em um sistema de computador refere-se a uma semântica que descreve, em algum nível de abstração, suas possíveis execuções.
- O raciocínio / prova / análise estática deve abstrair todas as propriedades semânticas irrelevantes para o raciocínio.
- Por causa da indecidibilidade , som, totalmente automatizado e sempre encerrando raciocínios sobre / provas / análise estática de sistemas de computador devem realizar induções matemáticas no abstrato e, portanto, só podem ser aproximados (mesmo com a hipótese de finitude e decidibilidade, por causa da explosão combinatória além de minúscula sistemas).
Em sua tese, Radhia Cousot avançou na semântica, na prova e nos métodos de análise estática para programas concorrentes e paralelos .
Radhia Cousot está na origem dos contatos com a Airbus em janeiro de 1999 que levaram ao desenvolvimento do analisador de erros em tempo de execução Astrée a partir de 2001, uma ferramenta para análise estática de programas de software de controle / comando embarcado desenvolvida na École Normale Supérieure e agora distribuído pela AbsInt GmbH , uma empresa de software alemã especializada em análise estática. Astrée é usada nas indústrias de transporte , espaço e software médico .
Prêmios
Com Patrick Cousot , ela recebeu o prêmio ACM SIGPLAN Programming Languages Achievement em 2013 e o prêmio IEEE Computer Society IEEE Computer Society Harlan D. Mills em 2014 pela "invenção da ' interpretação abstrata ', desenvolvimento de suporte de ferramenta e sua aplicação prática" .
Prêmio de melhor artigo de jovem pesquisador Radhia Cousot
Desde setembro de 2014, o prêmio de melhor artigo de jovem pesquisador Radhia Cousot é atribuído anualmente pelo presidente do programa em nome do comitê de programa do Simpósio de Análise Estática (SAS).
- 2014 ( Munique , Alemanha ): Aleksandar Chakarov (Universidade do Colorado, Boulder, CO, EUA), Invariantes de expectativa para loops de programa probabilísticos como pontos fixos (com Sriram Sankaranarayanan), M. Müller-Olm & H. Seidl (Eds.): SAS 2014 , LNCS 8723 , pp. 85-100, Springer
- 2015 ( Saint Malo , França ): Marianna Rapoport (University of Waterloo, Ontario, Canadá), Precise Data Flow Analysis in the Presence of Correlated Method Calls , (com Ondrej Lhoták e Frank Tip), S. Blazy & T. Jensen (Eds .): SAS 2015 , LNCS 9291 , pp. 54-71, Springer
- 2016 ( Edimburgo , Escócia ): Stefan Schulze Frielinghaus (Technische Universität München, Alemanha), Enforcing Termination of Interprocedural Analysis , (com Helmut Seidl e Ralf Vogler), Xavier Rival (Ed.): SAS 2016 , LNCS 9837 , pp. 447– 468, Springer
- 2017 ( Nova York , NY, EUA ): Suvam Mukherjee (Instituto Indiano de Ciência, Bangalore, Índia) e Oded Padon (Universidade de Tel Aviv, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs , (com Sharon Shoham, Deepak D'Souza e Noam Rinetzky), Francesco Ranzato (Ed.): SAS 2017 , LNCS 10422 , pp 253-276, Springer
Notas
Referências
links externos
- Página inicial de Radhia Cousot na École Normale Supérieure
- Curta biografia
- Publicações de Radhia Cousot na École Normale Supérieure
- Prêmio Radhia Cousot na École Normale Supérieure
- Disparition de Radhia Cousot no Institut des sciences de l'information et de leurs interações do CNRS
- Radhia Cousot no DBLP Bibliography Server
- Radhia Cousot no Projeto Genealogia da Matemática