Radhia Cousot - Radhia Cousot

Radhia Cousot
RadhiaCousot - Picture.jpg
Nascermos ( 06/08/1947 ) 6 de agosto de 1947
Morreu 1 de maio de 2014 (01-05-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  [ fr ] .

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.

  1. 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.
  2. O raciocínio / prova / análise estática deve abstrair todas as propriedades semânticas irrelevantes para o raciocínio.
  3. 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