About: Radhia Cousot     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatProgrammingLanguageResearchers, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/c/3UdiDg7PpC

Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation.

AttributesValues
rdf:type
rdfs:label
  • Radhia Cousot (de)
  • Radhia Cousot (fr)
  • Radhia Cousot (en)
  • Кузо, Радия (ru)
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)
foaf:name
  • Radhia Cousot (en)
name
  • Radhia Cousot (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/RadhiaCousot--Picture.jpg
birth place
death place
death place
death date
birth place
birth date
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 78 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software