dbo:abstract
|
- Radhia Cousot (* 6. August 1947 in Sakiet Sidi Youssef in Tunesien; † 1. Mai 2014 in New York City) war eine französische Informatikerin. Sie überlebte als Schülerin die Bombardierung ihres Heimatorts am 8. Februar 1958 durch die französische Armee; dabei kamen rund 75 Einwohner ums Leben und rund 150 wurden verletzt. Sie besuchte das Lyzeum für Mädchen in Sousse, das französische 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ät Grenoble und wurde 1985 an der Universität Nancy bei in Mathematik promoviert (Dissertation: Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles). Danach forschte sie am IMAG-Labor der Universität Grenoble, wobei sie ein UNESCO-Stipendium hatte, und ab 1980 für das CNRS an den Computer-Laboratorien der Universität Nancy, ab 1984 an der Universität Paris-Süd in Orsay und 1989 bis 2008 an der École Polytechnique. Ab 1991 leitete sie dort die Forschungsgruppe Semantik, Beweis und Abstrakte Interpretation. Außerdem lehrte sie 2006 bis 2014 an der École normale supérieure (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ür Airbus ein Fehlersuchprogramm für eingebettete Systeme Astrée, das später von der Firma AbsInt in Saarbrücken (ein Spinoff der dortigen Universität 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 über die Jahre viele Arbeiten veröffentlicht hatte. (de)
- Radhia Cousot (née Radhia Rezig) née le 6 août 1947 à Sakiet Sidi Youssef en Tunisie, et morte le 1er mai 2014 à New York, est une chercheuse et professeure française en informatique, connue notamment pour l'invention du concept d'interprétation abstraite. (fr)
- Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. (en)
- Радия Кузо (6 августа 1947 — 1 мая 2014) — французский учёный в области информатики, известная изобретением метода компьютерных программ. Абстрактная интерпретация позволяет делать выводы о семантике (поведении) программ, не запуская её полностью, но используя заложенные в ней алгоритмические свойства с помощью анализа потока управления и . Таким образом, абстрактная интерпретация плотно связана с такими подходами, как суперкомпиляция В. Ф. Турчина, частичные вычисления и А. П. Ершова. Методы статического анализа кода современной информатики немыслимы без абстрактной интерпретации. (ru)
|
dbo:academicDiscipline
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthPlace
| |
dbo:deathDate
| |
dbo:deathPlace
| |
dbo:knownFor
| |
dbo:nationality
| |
dbo:residence
| |
dbo:spouse
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 10611 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:almaMater
|
- Institut National Polytechnique de Lorraine (en)
|
dbp:birthDate
| |
dbp:birthPlace
| |
dbp:deathDate
| |
dbp:deathPlace
| |
dbp:doctoralAdvisor
| |
dbp:field
| |
dbp:knownFor
| |
dbp:name
| |
dbp:nationality
| |
dbp:prizes
|
- IEEE Computer Society Harlan D. Mills Award (en)
- ACM SIGPLAN Programming Languages Achievement Award (en)
|
dbp:residence
| |
dbp:spouse
| |
dbp:thesisTitle
|
- Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (en)
|
dbp:thesisYear
| |
dbp:wikiPageUsesTemplate
| |
dct:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- Radhia Cousot (née Radhia Rezig) née le 6 août 1947 à Sakiet Sidi Youssef en Tunisie, et morte le 1er mai 2014 à New York, est une chercheuse et professeure française en informatique, connue notamment pour l'invention du concept d'interprétation abstraite. (fr)
- Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. (en)
- Радия Кузо (6 августа 1947 — 1 мая 2014) — французский учёный в области информатики, известная изобретением метода компьютерных программ. Абстрактная интерпретация позволяет делать выводы о семантике (поведении) программ, не запуская её полностью, но используя заложенные в ней алгоритмические свойства с помощью анализа потока управления и . Таким образом, абстрактная интерпретация плотно связана с такими подходами, как суперкомпиляция В. Ф. Турчина, частичные вычисления и А. П. Ершова. Методы статического анализа кода современной информатики немыслимы без абстрактной интерпретации. (ru)
- Radhia Cousot (* 6. August 1947 in Sakiet Sidi Youssef in Tunesien; † 1. Mai 2014 in New York City) war eine französische Informatikerin. Sie überlebte als Schülerin die Bombardierung ihres Heimatorts am 8. Februar 1958 durch die französische Armee; dabei kamen rund 75 Einwohner ums Leben und rund 150 wurden verletzt. Sie besuchte das Lyzeum für Mädchen in Sousse, das französische 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ät Grenoble und wurde 1985 an der Universität Nancy bei in Mathematik promoviert (Dissertation: Fondements des méthodes de preuve d'invar (de)
|
rdfs:label
|
- Radhia Cousot (de)
- Radhia Cousot (fr)
- Radhia Cousot (en)
- Кузо, Радия (ru)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:spouse
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:spouse
of | |
is foaf:primaryTopic
of | |