"Radhia Cousot (6 August 1947 \u2013 1 May 2014) was a French computer scientist known for inventing abstract interpretation."@en . . . . . . . . . . . . . . . . . . . . "Radhia Cousot (6 August 1947 \u2013 1 May 2014) was a French computer scientist known for inventing abstract interpretation."@en . . . . . . . . . . . . . . . "Radhia Cousot"@en . . . . . . . "1985"^^ . . "Fondements des m\u00E9thodes de preuve d'invariance et de fatalit\u00E9 de programmes parall\u00E8les"@en . . . . . . . . . . . "10611"^^ . "Radhia Cousot (n\u00E9e Radhia Rezig) n\u00E9e le 6 ao\u00FBt 1947 \u00E0 Sakiet Sidi Youssef en Tunisie, et morte le 1er mai 2014 \u00E0 New York, est une chercheuse et professeure fran\u00E7aise en informatique, connue notamment pour l'invention du concept d'interpr\u00E9tation abstraite."@fr . "Radhia Cousot (* 6. August 1947 in Sakiet Sidi Youssef in Tunesien; \u2020 1. Mai 2014 in New York City) war eine franz\u00F6sische Informatikerin. Sie \u00FCberlebte als Sch\u00FClerin die Bombardierung ihres Heimatorts am 8. Februar 1958 durch die franz\u00F6sische Armee; dabei kamen rund 75 Einwohner ums Leben und rund 150 wurden verletzt. Sie besuchte das Lyzeum f\u00FCr M\u00E4dchen in Sousse, das franz\u00F6sische Gymnasium in Algier und die Polytechnische Schule in Algier, die sie als Beste ihres Jahrgangs (und einzige Frau) abschloss. Ihr Spezialgebiet war mathematische Optimierung und ganzzahlige lineare Programmierung. 1972 erhielt sie ihr Diplom (DEA) in Informatik von der Universit\u00E4t Grenoble und wurde 1985 an der Universit\u00E4t Nancy bei in Mathematik promoviert (Dissertation: Fondements des m\u00E9thodes de preuve d'invar"@de . . . . . . . . "ACM SIGPLAN Programming Languages Achievement Award"@en . . . . . . . "1947-08-06"^^ . "\u041A\u0443\u0437\u043E, \u0420\u0430\u0434\u0438\u044F"@ru . . . "2014-05-01"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Claude Pair"@en . . . . . . . "2014-05-01"^^ . . . "Radhia Cousot"@fr . . "1947-08-06"^^ . . . . . . . . . . . . . "\u0420\u0430\u0434\u0438\u044F \u041A\u0443\u0437\u043E (6 \u0430\u0432\u0433\u0443\u0441\u0442\u0430 1947 \u2014 1 \u043C\u0430\u044F 2014) \u2014 \u0444\u0440\u0430\u043D\u0446\u0443\u0437\u0441\u043A\u0438\u0439 \u0443\u0447\u0451\u043D\u044B\u0439 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u0438\u0437\u0432\u0435\u0441\u0442\u043D\u0430\u044F \u0438\u0437\u043E\u0431\u0440\u0435\u0442\u0435\u043D\u0438\u0435\u043C \u043C\u0435\u0442\u043E\u0434\u0430 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043D\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C. \u0410\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u0430\u044F \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u044F \u043F\u043E\u0437\u0432\u043E\u043B\u044F\u0435\u0442 \u0434\u0435\u043B\u0430\u0442\u044C \u0432\u044B\u0432\u043E\u0434\u044B \u043E \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0435 (\u043F\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u0438) \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C, \u043D\u0435 \u0437\u0430\u043F\u0443\u0441\u043A\u0430\u044F \u0435\u0451 \u043F\u043E\u043B\u043D\u043E\u0441\u0442\u044C\u044E, \u043D\u043E \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044F \u0437\u0430\u043B\u043E\u0436\u0435\u043D\u043D\u044B\u0435 \u0432 \u043D\u0435\u0439 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043F\u043E\u0442\u043E\u043A\u0430 \u0443\u043F\u0440\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u0438 . \u0422\u0430\u043A\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C, \u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u0430\u044F \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u044F \u043F\u043B\u043E\u0442\u043D\u043E \u0441\u0432\u044F\u0437\u0430\u043D\u0430 \u0441 \u0442\u0430\u043A\u0438\u043C\u0438 \u043F\u043E\u0434\u0445\u043E\u0434\u0430\u043C\u0438, \u043A\u0430\u043A \u0441\u0443\u043F\u0435\u0440\u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0446\u0438\u044F \u0412. \u0424. \u0422\u0443\u0440\u0447\u0438\u043D\u0430, \u0447\u0430\u0441\u0442\u0438\u0447\u043D\u044B\u0435 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0438 \u0410. \u041F. \u0415\u0440\u0448\u043E\u0432\u0430. \u041C\u0435\u0442\u043E\u0434\u044B \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043A\u043E\u0434\u0430 \u0441\u043E\u0432\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438 \u043D\u0435\u043C\u044B\u0441\u043B\u0438\u043C\u044B \u0431\u0435\u0437 \u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u043E\u0439 \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u0438."@ru . . . . . . . . . "Radhia Cousot"@de . . . . . . . . . "Radhia Cousot"@en . . . . "Radhia Cousot"@en . "42793014"^^ . "IEEE Computer Society Harlan D. Mills Award"@en . . . . . . "1093134373"^^ . . . . . . . . . "Radhia Cousot (* 6. August 1947 in Sakiet Sidi Youssef in Tunesien; \u2020 1. Mai 2014 in New York City) war eine franz\u00F6sische Informatikerin. Sie \u00FCberlebte als Sch\u00FClerin die Bombardierung ihres Heimatorts am 8. Februar 1958 durch die franz\u00F6sische Armee; dabei kamen rund 75 Einwohner ums Leben und rund 150 wurden verletzt. Sie besuchte das Lyzeum f\u00FCr M\u00E4dchen in Sousse, das franz\u00F6sische Gymnasium in Algier und die Polytechnische Schule in Algier, die sie als Beste ihres Jahrgangs (und einzige Frau) abschloss. Ihr Spezialgebiet war mathematische Optimierung und ganzzahlige lineare Programmierung. 1972 erhielt sie ihr Diplom (DEA) in Informatik von der Universit\u00E4t Grenoble und wurde 1985 an der Universit\u00E4t Nancy bei in Mathematik promoviert (Dissertation: Fondements des m\u00E9thodes de preuve d'invariance et de fatalit\u00E9 de programmes parall\u00E8les). Danach forschte sie am IMAG-Labor der Universit\u00E4t Grenoble, wobei sie ein UNESCO-Stipendium hatte, und ab 1980 f\u00FCr das CNRS an den Computer-Laboratorien der Universit\u00E4t Nancy, ab 1984 an der Universit\u00E4t Paris-S\u00FCd in Orsay und 1989 bis 2008 an der \u00C9cole Polytechnique. Ab 1991 leitete sie dort die Forschungsgruppe Semantik, Beweis und Abstrakte Interpretation. Au\u00DFerdem lehrte sie 2006 bis 2014 an der \u00C9cole normale sup\u00E9rieure (ENS). Sie war Gastwissenschaftlerin bei IBM Research (2006 und 2007) und Microsoft Research in Redmond (2009, 2010, 2011, 2012). Mit ihrem Ehemann Patrick Cousot entwickelte sie um 1975 die Methode der Abstrakten Interpretation in der Programmanalyse. In ihrer Dissertation erweiterte sie die Methode auf Parallelprogramme. Ab 1999 entwickelte sie unter anderem an der ENS mit Patrick Cousot f\u00FCr Airbus ein Fehlersuchprogramm f\u00FCr eingebettete Systeme Astr\u00E9e, das sp\u00E4ter von der Firma AbsInt in Saarbr\u00FCcken (ein Spinoff der dortigen Universit\u00E4t unter dem Professor Reinhard Wilhelm) vertrieben wurde. 2013 erhielt sie mit ihrem Ehemann den Harlan D. Mills Award der IEEE Computer Society und im selben Jahr erhielten sie den Programming Languages Achievement Award der . Sie starb 2014 an Magen-Darmkrebs. 2015 wurde ihrer in Mumbai auf der ACM-SIGPLAN-Konferenz POPL gedacht, wo sie mit ihrem Mann zusammen \u00FCber die Jahre viele Arbeiten ver\u00F6ffentlicht hatte."@de . "Radhia Cousot (n\u00E9e Radhia Rezig) n\u00E9e le 6 ao\u00FBt 1947 \u00E0 Sakiet Sidi Youssef en Tunisie, et morte le 1er mai 2014 \u00E0 New York, est une chercheuse et professeure fran\u00E7aise en informatique, connue notamment pour l'invention du concept d'interpr\u00E9tation abstraite."@fr . . . "\u0420\u0430\u0434\u0438\u044F \u041A\u0443\u0437\u043E (6 \u0430\u0432\u0433\u0443\u0441\u0442\u0430 1947 \u2014 1 \u043C\u0430\u044F 2014) \u2014 \u0444\u0440\u0430\u043D\u0446\u0443\u0437\u0441\u043A\u0438\u0439 \u0443\u0447\u0451\u043D\u044B\u0439 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u0438\u0437\u0432\u0435\u0441\u0442\u043D\u0430\u044F \u0438\u0437\u043E\u0431\u0440\u0435\u0442\u0435\u043D\u0438\u0435\u043C \u043C\u0435\u0442\u043E\u0434\u0430 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043D\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C. \u0410\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u0430\u044F \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u044F \u043F\u043E\u0437\u0432\u043E\u043B\u044F\u0435\u0442 \u0434\u0435\u043B\u0430\u0442\u044C \u0432\u044B\u0432\u043E\u0434\u044B \u043E \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0435 (\u043F\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u0438) \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C, \u043D\u0435 \u0437\u0430\u043F\u0443\u0441\u043A\u0430\u044F \u0435\u0451 \u043F\u043E\u043B\u043D\u043E\u0441\u0442\u044C\u044E, \u043D\u043E \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044F \u0437\u0430\u043B\u043E\u0436\u0435\u043D\u043D\u044B\u0435 \u0432 \u043D\u0435\u0439 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043F\u043E\u0442\u043E\u043A\u0430 \u0443\u043F\u0440\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u0438 . \u0422\u0430\u043A\u0438\u043C \u043E\u0431\u0440\u0430\u0437\u043E\u043C, \u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u0430\u044F \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u044F \u043F\u043B\u043E\u0442\u043D\u043E \u0441\u0432\u044F\u0437\u0430\u043D\u0430 \u0441 \u0442\u0430\u043A\u0438\u043C\u0438 \u043F\u043E\u0434\u0445\u043E\u0434\u0430\u043C\u0438, \u043A\u0430\u043A \u0441\u0443\u043F\u0435\u0440\u043A\u043E\u043C\u043F\u0438\u043B\u044F\u0446\u0438\u044F \u0412. \u0424. \u0422\u0443\u0440\u0447\u0438\u043D\u0430, \u0447\u0430\u0441\u0442\u0438\u0447\u043D\u044B\u0435 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0438 \u0410. \u041F. \u0415\u0440\u0448\u043E\u0432\u0430. \u041C\u0435\u0442\u043E\u0434\u044B \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043A\u043E\u0434\u0430 \u0441\u043E\u0432\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438 \u043D\u0435\u043C\u044B\u0441\u043B\u0438\u043C\u044B \u0431\u0435\u0437 \u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0442\u043D\u043E\u0439 \u0438\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0438\u0438."@ru . . . . . "Institut National Polytechnique de Lorraine"@en . .