This HTML5 document contains 202 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n33http://sas2015.inria.fr/
n25http://cs.uni-muenster.de/sev/sas14/
n16http://staticanalysis.org/sas2017/
n15http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n4https://www.di.ens.fr/~rcousot/
n30http://viaf.org/viaf/
schemahttp://schema.org/
n24http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n27https://www.springer.com/computer/theoretical+computer+science/book/
dctermshttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://www.unesco.org/new/en/fellowships/programmes/
n28https://www.springer.com/gp/book/
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n35http://staticanalysis.org/sas2016/
dbohttp://dbpedia.org/ontology/
n38http://www.cnrs.fr/ins2i/
dbchttp://dbpedia.org/resource/Category:
n23http://data.bibliotheken.nl/id/thes/
dbpedia-dehttp://de.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
n26https://dblp.org/pid/c/
yago-reshttp://yago-knowledge.org/resource/
n18https://global.dbpedia.org/id/
n29https://www.springer.com/us/book/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
freebasehttp://rdf.freebase.com/ns/
n36https://link.springer.com/chapter/10.1007/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Patrick_Cousot
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
dbp:spouse
dbr:Radhia_Cousot
dbo:spouse
dbr:Radhia_Cousot
Subject Item
dbr:Deaths_in_May_2014
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:May_1
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:2014_in_science
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:Abstract_interpretation
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:August_6
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
dbr:Radhia_Cousot
rdf:type
yago:PhysicalEntity100001930 n15:NaturalPerson owl:Thing yago:Intellectual109621545 schema:Person dbo:Species foaf:Person yago:WikicatWomenComputerScientists dbo:Scientist yago:WikicatProgrammingLanguageResearchers yago:LivingThing100004258 dbo:Person dbo:Eukaryote yago:YagoLegalActor yago:Alumnus109786338 yago:YagoLegalActorGeo yago:WikicatFormalMethodsPeople wikidata:Q901 wikidata:Q729 wikidata:Q5 yago:Person100007846 yago:ComputerUser109951274 yago:ComputerScientist109951070 yago:Scientist110560637 wikidata:Q215627 dbo:Animal yago:WikicatFrenchComputerScientists yago:CausalAgent100007347 yago:WikicatNancy-UniversitéAlumni yago:Object100002684 wikidata:Q19088 yago:Organism100004475 yago:Whole100003553 yago:ResearchWorker110523076 yago:Scholar110557854 yago:WikicatFrenchWomenScientists
rdfs:label
Кузо, Радия Radhia Cousot Radhia Cousot Radhia Cousot
rdfs:comment
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. 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. 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 Радия Кузо (6 августа 1947 — 1 мая 2014) — французский учёный в области информатики, известная изобретением метода компьютерных программ. Абстрактная интерпретация позволяет делать выводы о семантике (поведении) программ, не запуская её полностью, но используя заложенные в ней алгоритмические свойства с помощью анализа потока управления и . Таким образом, абстрактная интерпретация плотно связана с такими подходами, как суперкомпиляция В. Ф. Турчина, частичные вычисления и А. П. Ершова. Методы статического анализа кода современной информатики немыслимы без абстрактной интерпретации.
foaf:name
Radhia Cousot
dbp:name
Radhia Cousot
foaf:depiction
n24:RadhiaCousot--Picture.jpg
dbo:birthPlace
dbr:Sakiet_Sidi_Youssef dbr:Tunisia
dbo:deathPlace
dbr:New_York_City
dbp:deathPlace
dbr:New_York_City
dbo:deathDate
2014-05-01
dbp:birthPlace
dbr:Tunisia dbr:Sakiet_Sidi_Youssef
dbo:birthDate
1947-08-06
dcterms:subject
dbc:Nancy-Université_alumni dbc:Formal_methods_people dbc:2014_in_science dbc:Software_engineering_researchers dbc:20th-century_French_women_scientists dbc:1947_births dbc:French_women_computer_scientists dbc:2014_deaths dbc:Programming_language_researchers
dbo:wikiPageID
42793014
dbo:wikiPageRevisionID
1093134373
dbo:wikiPageWikiLink
dbr:Patrick_Cousot dbc:Nancy-Université_alumni dbr:Abstract_interpretation dbr:New_York_City dbr:École_Normale_Supérieure dbr:Sakiet_Sidi_Youssef dbr:Centre_national_de_la_recherche_scientifique dbr:Munich dbr:Joseph_Fourier_University dbr:Mathematics dbr:Software dbc:Formal_methods_people dbc:Software_engineering_researchers dbr:Mathematical_optimization dbr:École_Polytechnique dbr:IEEE_Computer_Society dbc:2014_in_science dbr:Association_for_Computing_Machinery dbr:Mathematical_induction dbr:NY,_USA dbr:Harlan_Mills dbc:20th-century_French_women_scientists dbr:Transport dbr:Germany dbc:1947_births dbr:Parallel_programming_model dbr:Medical_software dbr:Tunisia dbc:2014_deaths dbr:Algiers dbr:Computer_science dbc:French_women_computer_scientists dbr:Sousse dbr:Orsay dbr:UNESCO dbr:Linear_programming dbr:Static_program_analysis dbr:SIGPLAN dbr:Formal_methods dbr:Airbus dbr:Saint-Malo dbr:Henri_Poincaré_University dbc:Programming_language_researchers dbr:Grenoble dbr:Nancy,_France dbr:Polytechnic_School_of_Algiers dbr:Combinatorial_explosion dbr:Undecidable_problem dbr:Astrée_(static_analysis) dbr:AbsInt dbr:France dbr:Concurrency_(computer_science) dbr:Scotland dbr:Space_exploration dbr:CNRS dbr:Computer_Science dbr:Edinburgh dbr:Embedded_software dbr:SIGPLAN_Programming_Languages_Achievement_Award dbr:Control_theory dbr:University_of_Paris-Sud
dbo:wikiPageExternalLink
n4:award.html n4:bio.html n4:index.html n16: n20: n25: n27:978-3-319-10935-0 n28:9783662534120 n29:9783662482872 n33: n35: n36:978-3-319-66706-5_13 n4:themes.html n38: n38:spip.php%3Farticle733
owl:sameAs
dbpedia-fr:Radhia_Cousot n18:eGUr dbpedia-ru:Кузо,_Радия n23:p152166335 n26:RCousot freebase:m.010pft13 wikidata:Q16930398 dbpedia-de:Radhia_Cousot yago-res:Radhia_Cousot n30:8096894
dbp:thesisTitle
Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles
dbp:thesisYear
1985
dbp:wikiPageUsesTemplate
dbt:Interlanguage_link_multi dbt:Reflist dbt:Birth_date dbt:MathGenealogy dbt:Authority_control dbt:Death_date_and_age dbt:DBLP dbt:Short_description dbt:Infobox_scientist
dbo:thumbnail
n24:RadhiaCousot--Picture.jpg?width=300
dbp:almaMater
Institut National Polytechnique de Lorraine
dbp:birthDate
1947-08-06
dbp:deathDate
2014-05-01
dbp:field
dbr:Computer_science
dbp:knownFor
dbr:Abstract_interpretation
dbp:nationality
dbr:France
dbp:residence
dbr:New_York_City
dbp:spouse
dbr:Patrick_Cousot
dbo:abstract
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. 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. 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. Радия Кузо (6 августа 1947 — 1 мая 2014) — французский учёный в области информатики, известная изобретением метода компьютерных программ. Абстрактная интерпретация позволяет делать выводы о семантике (поведении) программ, не запуская её полностью, но используя заложенные в ней алгоритмические свойства с помощью анализа потока управления и . Таким образом, абстрактная интерпретация плотно связана с такими подходами, как суперкомпиляция В. Ф. Турчина, частичные вычисления и А. П. Ершова. Методы статического анализа кода современной информатики немыслимы без абстрактной интерпретации.
dbp:doctoralAdvisor
Claude Pair
dbp:prizes
ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award
gold:hypernym
dbr:Scientist
schema:sameAs
n30:8096894
prov:wasDerivedFrom
wikipedia-en:Radhia_Cousot?oldid=1093134373&ns=0
dbo:wikiPageLength
10611
dbo:academicDiscipline
dbr:Computer_science
dbo:award
dbr:IEEE_Computer_Society dbr:Association_for_Computing_Machinery
dbo:knownFor
dbr:Abstract_interpretation
dbo:nationality
dbr:France
dbo:residence
dbr:New_York_City
dbo:spouse
dbr:Patrick_Cousot
foaf:isPrimaryTopicOf
wikipedia-en:Radhia_Cousot
Subject Item
dbr:SIGPLAN
dbo:wikiPageWikiLink
dbr:Radhia_Cousot
Subject Item
wikipedia-en:Radhia_Cousot
foaf:primaryTopic
dbr:Radhia_Cousot