Data Table
PropertyValue
dbpedia-owl:abstract
  • ジョセフ・シファキス(Joseph Sifakis、希: Ιωσήφ Σηφάκης)は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。1946年、クレタ島イラクリオンに生まれた。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ。1974年、グルノーブル大学で博士号を取得し、1979年には state doctorate を取得した。シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人である。また、Artist2(European Network of Excellence for research on Embedded Systems)のコーディネーターも務めている。また、フランスの国家功労勲章の役員も務めている。
dbpedia-owl:almaMater
dbpedia-owl:award
dbpedia-owl:birthPlace
dbpedia-owl:depictionDescription
  • Joseph Sifakis
dbpedia-owl:field
dbpedia-owl:nationality
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1908400 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3591 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 31 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 52194036 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ja:almaMater
prop-ja:birthDate
  • 1946 (xsd:integer)
prop-ja:birthPlace
  • クレタ島イラクリオン
prop-ja:caption
  • Joseph Sifakis
prop-ja:field
prop-ja:knownFor
  • モデル検査の開発
prop-ja:name
  • ジョセフ・シファキス
prop-ja:prizes
prop-ja:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • ジョセフ・シファキス(Joseph Sifakis、希: Ιωσήφ Σηφάκης)は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。1946年、クレタ島イラクリオンに生まれた。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ。1974年、グルノーブル大学で博士号を取得し、1979年には state doctorate を取得した。シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人である。また、Artist2(European Network of Excellence for research on Embedded Systems)のコーディネーターも務めている。また、フランスの国家功労勲章の役員も務めている。
rdfs:label
  • ジョセフ・シファキス
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • ジョセフ・シファキス
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of