Radhia Cousot - Radhia Cousot

Radhia Cousot
RadhiaCousot - Picture.jpg
Geboren ( 1947-08-06 ) 6. August 1947
Ist gestorben 1. Mai 2014 (2014-05-01) (67 Jahre)
Staatsangehörigkeit Französisch
Alma Mater Institut National Polytechnique de Lorraine
Bekannt für Abstrakte Interpretation
Ehepartner Patrick Cousot
Auszeichnungen ACM SIGPLAN Programmiersprachen Achievement Award
IEEE Computer Society Harlan D. Mills Award
Wissenschaftliche Karriere
Felder Informatik
These Fondements des méthodes de preuve d'invariance et de fatalité de programme parallèles   (1985)
Doktorvater Claude Pair

Radhia Cousot (6. August 1947 - 1. Mai 2014) war eine französische Informatikerin, die für die Erfindung der abstrakten Interpretation bekannt war .

Studien

Radhia Cousot wurde am 6. August 1947 in Sakiet Sidi Youssef in Tunesien geboren , wo sie am 8. Februar 1958 das Massaker an den Kindern in ihrer Schule überlebte . Anschließend besuchte sie das Lycée de jeunes in Sousse , das Lycée français in Algier und anschließend die Polytechnische Schule in Algier (wo sie die erste und einzige Frau war). Sie spezialisierte sich auf mathematische Optimierung und ganzzahlige lineare Programmierung . Unterstützt von einem UNESCO - Stipendium (1972-1975), erhielt sie einen Master-Abschluss in Informatik ( Diplôme d'études approfondies (DEA) ) an der Universität Joseph Fourier von Grenoble im Jahr 1972. Sie sie erhalten Doktor ès Sciences / Habilitation in Mathematik in Nancy im Jahr 1985 unter der Aufsicht von Claude Pair  [ fr ] .

Werdegang

Radhia Cousot wurde zur Associate Research Scientist am IMAG-Labor der Joseph Fourier University of Grenoble (1975–1979) und ab 1980 am Centre National de la Recherche Scientifique als Junior Research Scientist, Research Scientist, Senior Research Scientist ernannt. und emeritierte wissenschaftliche Mitarbeiterin an den Informatiklabors der Henri Poincaré Universität von Nancy (1980–1983), der Universität Paris-Sud in Orsay (1984–1988) und der École Polytechnique (1989–2008), wo sie ab 1991 leitete das Forschungsteam „Semantik, Beweis und abstrakte Interpretation“ und die École Normale Supérieure (2006–2014).

Wissenschaftliche Errungenschaften

Radhia Cousot ist zusammen mit ihrem Ehemann Patrick die Urheberin der abstrakten Interpretation , einer einflussreichen Technik für formale Methoden . Die abstrakte Interpretation basiert auf drei Hauptideen.

  1. Jede Argumentation / Beweis / statische Analyse auf einem Computersystem bezieht sich auf eine Semantik, die auf einer bestimmten Abstraktionsebene ihre möglichen Ausführungen beschreibt.
  2. Die Argumentation / Beweis / statische Analyse sollte alle semantischen Eigenschaften abstrahieren, die für die Argumentation irrelevant sind.
  3. Aufgrund der Unentscheidbarkeit müssen fundierte, vollautomatisierte und stets abschließende Überlegungen zu / Proofs / statischen Analysen von Computersystemen mathematische Induktionen in der Zusammenfassung durchführen und können daher nur annähernd sein (selbst bei einer Hypothese der Endlichkeit und Entscheidbarkeit, da die kombinatorische Explosion über das Winzige hinausgeht Systeme).

In ihrer Diplomarbeit hat Radhia Cousot die Methoden der Semantik, des Beweises und der statischen Analyse für gleichzeitige und parallele Programme weiterentwickelt.

Radhia Cousot ist der Ursprung der Kontakte mit Airbus im Januar 1999, die ab 2001 zur Entwicklung des Astrée-Laufzeitfehleranalysators führten , eines Tools für die Analyse statischer Programme von eingebetteter Steuerungs- / Befehlssoftware , das an der École Normale Supérieure und entwickelt wurde jetzt vertrieben von der AbsInt GmbH , einem deutschen Softwareunternehmen, das sich auf statische Analysen spezialisiert hat. Astrée wird in der Transport- , Raumfahrt- und medizinischen Softwareindustrie eingesetzt.

Auszeichnungen

Mit Patrick Cousot erhielt sie 2013 den ACM SIGPLAN Programming Languages ​​Achievement Award und 2014 den Harlan D. Mills Award der IEEE Computer Society für „die Erfindung der ' abstrakten Interpretation ', die Entwicklung der Werkzeugunterstützung und ihre praktische Anwendung“. .

Radhia Cousot als bester Nachwuchsforscher ausgezeichnet

Seit September 2014 wird der Radhia Cousot-Preis für das beste Nachwuchsforschungspapier jährlich vom Programmvorsitzenden im Namen des Programmausschusses der Static Analysis Symposia (SAS) vergeben.

  • 2014 ( München , Deutschland ): Aleksandar Chakarov (Universität von Colorado, Boulder, CO, USA), Erwartungsinvarianten für probabilistische Programmschleifen als Fixpunkte (mit Sriram Sankaranarayanan), M. Müller-Olm & H. Seidl (Hrsg.): SAS 2014 , LNCS 8723 , S. 85–100, Springer
  • 2015 ( Saint Malo , Frankreich ): Marianna Rapoport (Universität von Waterloo, Ontario, Kanada), Präzise Datenflussanalyse in Gegenwart korrelierter Methodenaufrufe (mit Ondrej Lhoták und Frank Tip), S. Blazy & T. Jensen (Hrsg .): SAS 2015 , LNCS 9291 , S. 54–71, Springer
  • 2016 ( Edinburgh , Schottland ): Stefan Schulze Frielinghaus (Technische Universität München), Durchsetzung der Beendigung der interprozeduralen Analyse (mit Helmut Seidl und Ralf Vogler), Xavier Rival (Hrsg.): SAS 2016 , LNCS 9837 , S. 447– 468, Springer
  • 2017 ( New York , NY, USA ): Suvam Mukherjee (Indisches Wissenschaftsinstitut, Bangalore, Indien) und Oded Padon (Universität Tel Aviv, Israel), Thread-Local Semantics und ihre effizienten sequentiellen Abstraktionen für rassenfreie Programme (mit Sharon Shoham, Deepak D'Souza und Noam Rinetzky), Francesco Ranzato (Hrsg.): SAS 2017 , LNCS 10422 , S. 253–276, Springer

Anmerkungen

Verweise

Externe Links