Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Joseph_Sifakis> ?p ?o. }
- Joseph_Sifakis abstract "Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist that holds also French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.He was awarded in 2009 a Dr. h.c. from the École Polytechnique Fédérale de Lausanne, Switzerland, where he has been appointed Full Professor in 2011 (at the School of Computer and Communication Sciences).Sifakis lives in France, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble, of which he is a founder.He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.He is a grand officer of France's national order of merit and commander in France's Legion of Honour.".
- Joseph_Sifakis almaMater National_Technical_University_of_Athens.
- Joseph_Sifakis almaMater University_of_Grenoble.
- Joseph_Sifakis award Turing_Award.
- Joseph_Sifakis birthDate "1946".
- Joseph_Sifakis birthDate "1946-12-26".
- Joseph_Sifakis birthPlace Crete.
- Joseph_Sifakis birthPlace Greece.
- Joseph_Sifakis birthPlace Heraklion.
- Joseph_Sifakis birthYear "1946".
- Joseph_Sifakis citizenship Greeks.
- Joseph_Sifakis field Computer_science.
- Joseph_Sifakis lccnId "n/88/237558".
- Joseph_Sifakis thumbnail Joseph_Sifakis_img_0966.jpg?width=300.
- Joseph_Sifakis viafId "110770950".
- Joseph_Sifakis wikiPageExternalLink index.php?p=572.
- Joseph_Sifakis wikiPageExternalLink ~sifakis.
- Joseph_Sifakis wikiPageID "15590963".
- Joseph_Sifakis wikiPageRevisionID "602746168".
- Joseph_Sifakis almaMater National_Technical_University_of_Athens.
- Joseph_Sifakis almaMater University_of_Grenoble.
- Joseph_Sifakis birthDate "1946-12-26".
- Joseph_Sifakis birthPlace Crete.
- Joseph_Sifakis birthPlace Greece.
- Joseph_Sifakis birthPlace Heraklion.
- Joseph_Sifakis citizenship "Greek/French".
- Joseph_Sifakis dateOfBirth "1946".
- Joseph_Sifakis field Computer_science.
- Joseph_Sifakis hasPhotoCollection Joseph_Sifakis.
- Joseph_Sifakis knownFor "Development of Model-Checking".
- Joseph_Sifakis lccn "n/88/237558".
- Joseph_Sifakis name "Joseph Sifakis".
- Joseph_Sifakis name "Sifakis, Joseph".
- Joseph_Sifakis placeOfBirth Crete.
- Joseph_Sifakis placeOfBirth Heraklion.
- Joseph_Sifakis prizes Turing_Award.
- Joseph_Sifakis shortDescription "Greek computer scientist".
- Joseph_Sifakis viaf "110770950".
- Joseph_Sifakis workInstitution Centre_national_de_la_recherche_scientifique.
- Joseph_Sifakis description "Greek computer scientist".
- Joseph_Sifakis description "Greek computer scientist".
- Joseph_Sifakis subject Category:1946_births.
- Joseph_Sifakis subject Category:French_computer_scientists.
- Joseph_Sifakis subject Category:Greek_academics.
- Joseph_Sifakis subject Category:Greek_computer_scientists.
- Joseph_Sifakis subject Category:Greek_emigrants_to_France.
- Joseph_Sifakis subject Category:Living_people.
- Joseph_Sifakis subject Category:National_Technical_University_of_Athens_alumni.
- Joseph_Sifakis subject Category:People_from_Heraklion.
- Joseph_Sifakis subject Category:Scholars_from_Crete.
- Joseph_Sifakis subject Category:Turing_Award_laureates.
- Joseph_Sifakis type Academician109759069.
- Joseph_Sifakis type Acquirer109764201.
- Joseph_Sifakis type Adult109605289.
- Joseph_Sifakis type CausalAgent100007347.
- Joseph_Sifakis type ComputerScientist109951070.
- Joseph_Sifakis type ComputerUser109951274.
- Joseph_Sifakis type Educator110045713.
- Joseph_Sifakis type FrenchComputerScientists.
- Joseph_Sifakis type GreekAcademics.
- Joseph_Sifakis type GreekComputerScientists.
- Joseph_Sifakis type Honoree110183757.
- Joseph_Sifakis type Intellectual109621545.
- Joseph_Sifakis type Laureate110249011.
- Joseph_Sifakis type LivingPeople.
- Joseph_Sifakis type LivingThing100004258.
- Joseph_Sifakis type Object100002684.
- Joseph_Sifakis type Organism100004475.
- Joseph_Sifakis type Person100007846.
- Joseph_Sifakis type PhysicalEntity100001930.
- Joseph_Sifakis type Professional110480253.
- Joseph_Sifakis type Recipient109627906.
- Joseph_Sifakis type Scholar110557854.
- Joseph_Sifakis type ScholarsFromCrete.
- Joseph_Sifakis type Scientist110560637.
- Joseph_Sifakis type TuringAwardLaureates.
- Joseph_Sifakis type Whole100003553.
- Joseph_Sifakis type YagoLegalActor.
- Joseph_Sifakis type YagoLegalActorGeo.
- Joseph_Sifakis type Agent.
- Joseph_Sifakis type Person.
- Joseph_Sifakis type Scientist.
- Joseph_Sifakis type Person.
- Joseph_Sifakis type Scientist.
- Joseph_Sifakis type Q215627.
- Joseph_Sifakis type Q5.
- Joseph_Sifakis type Agent.
- Joseph_Sifakis type NaturalPerson.
- Joseph_Sifakis type Thing.
- Joseph_Sifakis type Person.
- Joseph_Sifakis comment "Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek computer scientist that holds also French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship.".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Joseph Sifakis".
- Joseph_Sifakis label "Сифакис, Иосиф".
- Joseph_Sifakis label "جوزيف سيفاكيس".