About: Joseph Sifakis

Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei.

Property	Value
dbo:abstract	Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. (de) Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. (de)
dbo:birthDate	1946-12-26 (xsd:date)
dbo:birthPlace	dbpedia-de:Kreta dbpedia-de:Iraklio
dbo:individualisedGnd	1049200187
dbo:lccn	n/88/237558
dbo:thumbnail	wiki-commons:Special:FilePath/Joseph_Sifakis_img_0966.jpg?width=300
dbo:viafId	110770950
dbo:wikiPageExternalLink	http://www-verimag.imag.fr/~sifakis/
dbo:wikiPageID	3299995 (xsd:integer)
dbo:wikiPageRevisionID	154192832 (xsd:integer)
prop-de:kurzbeschreibung	griechisch-französischer Informatiker und Turing-Preisträger
prop-de:typ	p
dc:description	griechisch-französischer Informatiker und Turing-Preisträger
dct:subject	category-de:Franzose category-de:Geboren_1946 category-de:Grieche category-de:Informatiker category-de:Mann category-de:Mitglied_der_Academia_Europaea category-de:Mitglied_der_American_Academy_of_Arts_and_Sciences category-de:Mitglied_im_CNRS category-de:Turing-Preisträger category-de:Träger_des_französischen_Nationalverdienstordens_(Großoffizier)
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person dul:Agent dul:NaturalPerson wikidata:Q215627 wikidata:Q24229398 wikidata:Q5 dbo:Agent
rdfs:comment	Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. (de) Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. (de)
rdfs:label	Joseph Sifakis (de) Joseph Sifakis (de)
owl:sameAs	http://www.viaf.org/viaf/110770950 dbr:Joseph Sifakis wikidata:Joseph Sifakis dbpedia-el:Joseph Sifakis dbpedia-es:Joseph Sifakis dbpedia-fr:Joseph Sifakis dbpedia-it:Joseph Sifakis dbpedia-ja:Joseph Sifakis dbpedia-nl:Joseph Sifakis dbpedia-pt:Joseph Sifakis dbpedia-wikidata:Joseph Sifakis freebase:Joseph Sifakis
prov:wasDerivedFrom	wikipedia-de:Joseph_Sifakis?oldid=154192832
foaf:depiction	wiki-commons:Special:FilePath/Joseph_Sifakis_img_0966.jpg
foaf:givenName	Joseph
foaf:isPrimaryTopicOf	wikipedia-de:Joseph_Sifakis
foaf:name	Sifakis, Joseph (de) Joseph Sifakis
foaf:nick	Σηφάκης, Ιωσήφ (griechisch) (de) Σηφάκης, Ιωσήφ (griechisch) (de)
foaf:surname	Sifakis
is dbo:wikiPageDisambiguates of	dbpedia-de:Sifakis
is foaf:primaryTopic of	wikipedia-de:Joseph_Sifakis