Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Joseph_Sifakis> ?p ?o }
- Joseph_Sifakis abstract "Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-born French computer scientist, 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 thumbnail Joseph_Sifakis_img_0966.jpg?width=300.
- Joseph_Sifakis wikiPageExternalLink ?p=572.
- Joseph_Sifakis wikiPageExternalLink ~sifakis.
- Joseph_Sifakis wikiPageID "15590963".
- Joseph_Sifakis wikiPageLength "6030".
- Joseph_Sifakis wikiPageOutDegree "43".
- Joseph_Sifakis wikiPageRevisionID "659806500".
- Joseph_Sifakis wikiPageWikiLink Artist2.
- Joseph_Sifakis wikiPageWikiLink Category:1946_births.
- Joseph_Sifakis wikiPageWikiLink Category:French_computer_scientists.
- Joseph_Sifakis wikiPageWikiLink Category:Greek_academics.
- Joseph_Sifakis wikiPageWikiLink Category:Greek_computer_scientists.
- Joseph_Sifakis wikiPageWikiLink Category:Greek_emigrants_to_France.
- Joseph_Sifakis wikiPageWikiLink Category:Living_people.
- Joseph_Sifakis wikiPageWikiLink Category:National_Technical_University_of_Athens_alumni.
- Joseph_Sifakis wikiPageWikiLink Category:People_from_Heraklion.
- Joseph_Sifakis wikiPageWikiLink Category:Scholars_from_Crete.
- Joseph_Sifakis wikiPageWikiLink Category:Turing_Award_laureates.
- Joseph_Sifakis wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Joseph_Sifakis wikiPageWikiLink Computer_science.
- Joseph_Sifakis wikiPageWikiLink Computer_scientist.
- Joseph_Sifakis wikiPageWikiLink Crete.
- Joseph_Sifakis wikiPageWikiLink Doctor_of_Philosophy.
- Joseph_Sifakis wikiPageWikiLink E._Allen_Emerson.
- Joseph_Sifakis wikiPageWikiLink Edmund_M._Clarke.
- Joseph_Sifakis wikiPageWikiLink Electrical_engineering.
- Joseph_Sifakis wikiPageWikiLink Embedded_system.
- Joseph_Sifakis wikiPageWikiLink France.
- Joseph_Sifakis wikiPageWikiLink Greece.
- Joseph_Sifakis wikiPageWikiLink Greeks.
- Joseph_Sifakis wikiPageWikiLink Grenoble.
- Joseph_Sifakis wikiPageWikiLink Heraklion.
- Joseph_Sifakis wikiPageWikiLink Legion_of_Honour.
- Joseph_Sifakis wikiPageWikiLink Model_checking.
- Joseph_Sifakis wikiPageWikiLink National_Order_of_Merit_(France).
- Joseph_Sifakis wikiPageWikiLink National_Technical_University_of_Athens.
- Joseph_Sifakis wikiPageWikiLink Scholarship.
- Joseph_Sifakis wikiPageWikiLink Turing_Award.
- Joseph_Sifakis wikiPageWikiLink University_of_Grenoble.
- Joseph_Sifakis wikiPageWikiLink VERIMAG.
- Joseph_Sifakis wikiPageWikiLink École_Polytechnique_Fédérale_de_Lausanne.
- Joseph_Sifakis wikiPageWikiLinkText "Joseph Sifakis".
- 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 knownFor "Development of Model-Checking".
- 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 wikiPageUsesTemplate Template:Authority_control.
- Joseph_Sifakis wikiPageUsesTemplate Template:Commons_category_inline.
- Joseph_Sifakis wikiPageUsesTemplate Template:Infobox_scientist.
- Joseph_Sifakis wikiPageUsesTemplate Template:Lang-el.
- Joseph_Sifakis wikiPageUsesTemplate Template:Persondata.
- Joseph_Sifakis wikiPageUsesTemplate Template:Reflist.
- Joseph_Sifakis wikiPageUsesTemplate Template:Turing_award.
- Joseph_Sifakis wikiPageUsesTemplate Template:Use_dmy_dates.
- 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 hypernym Scientist.
- Joseph_Sifakis type Agent.
- Joseph_Sifakis type Award.
- Joseph_Sifakis type List.
- Joseph_Sifakis type Person.
- Joseph_Sifakis type Scientist.
- Joseph_Sifakis type University.
- Joseph_Sifakis type Person.
- Joseph_Sifakis type Award.