Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q92781> ?p ?o }
Showing triples 1 to 92 of
92
with 100 triples per page.
- Q92781 description "Greek computer scientist".
- Q92781 description "Greek computer scientist".
- Q92781 subject Q5312304.
- Q92781 subject Q6376161.
- Q92781 subject Q6752624.
- Q92781 subject Q7031819.
- Q92781 subject Q7037218.
- Q92781 subject Q8055026.
- Q92781 subject Q8317928.
- Q92781 subject Q8499990.
- Q92781 subject Q8707446.
- Q92781 subject Q9699479.
- Q92781 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.".
- Q92781 almaMater Q1640726.
- Q92781 almaMater Q945876.
- Q92781 award Q185667.
- Q92781 birthDate "1946".
- Q92781 birthDate "1946-12-26".
- Q92781 birthPlace Q160544.
- Q92781 birthPlace Q34374.
- Q92781 birthPlace Q41.
- Q92781 birthYear "1946".
- Q92781 citizenship Q539051.
- Q92781 field Q21198.
- Q92781 thumbnail Joseph_Sifakis_img_0966.jpg?width=300.
- Q92781 wikiPageExternalLink ?p=572.
- Q92781 wikiPageExternalLink ~sifakis.
- Q92781 wikiPageWikiLink Q1289.
- Q92781 wikiPageWikiLink Q142.
- Q92781 wikiPageWikiLink Q1569697.
- Q92781 wikiPageWikiLink Q160544.
- Q92781 wikiPageWikiLink Q163700.
- Q92781 wikiPageWikiLink Q1640726.
- Q92781 wikiPageWikiLink Q185667.
- Q92781 wikiPageWikiLink Q188823.
- Q92781 wikiPageWikiLink Q193040.
- Q92781 wikiPageWikiLink Q21198.
- Q92781 wikiPageWikiLink Q262760.
- Q92781 wikiPageWikiLink Q280413.
- Q92781 wikiPageWikiLink Q34374.
- Q92781 wikiPageWikiLink Q41.
- Q92781 wikiPageWikiLink Q43035.
- Q92781 wikiPageWikiLink Q5312304.
- Q92781 wikiPageWikiLink Q539051.
- Q92781 wikiPageWikiLink Q6376161.
- Q92781 wikiPageWikiLink Q652962.
- Q92781 wikiPageWikiLink Q6752624.
- Q92781 wikiPageWikiLink Q7031819.
- Q92781 wikiPageWikiLink Q7037218.
- Q92781 wikiPageWikiLink Q752297.
- Q92781 wikiPageWikiLink Q8055026.
- Q92781 wikiPageWikiLink Q82594.
- Q92781 wikiPageWikiLink Q8317928.
- Q92781 wikiPageWikiLink Q8499990.
- Q92781 wikiPageWikiLink Q8707446.
- Q92781 wikiPageWikiLink Q92819.
- Q92781 wikiPageWikiLink Q92821.
- Q92781 wikiPageWikiLink Q945876.
- Q92781 wikiPageWikiLink Q9699479.
- Q92781 almaMater Q1640726.
- Q92781 almaMater Q945876.
- Q92781 birthDate "1946-12-26".
- Q92781 birthPlace Q160544.
- Q92781 birthPlace Q34374.
- Q92781 birthPlace Q41.
- Q92781 citizenship "Greek/French".
- Q92781 dateOfBirth "1946".
- Q92781 field Q21198.
- Q92781 name "Joseph Sifakis".
- Q92781 name "Sifakis, Joseph".
- Q92781 placeOfBirth Q160544.
- Q92781 placeOfBirth Q34374.
- Q92781 prizes Q185667.
- Q92781 shortDescription "Greek computer scientist".
- Q92781 type Person.
- Q92781 type Agent.
- Q92781 type Person.
- Q92781 type Scientist.
- Q92781 type Agent.
- Q92781 type NaturalPerson.
- Q92781 type Thing.
- Q92781 type Q215627.
- Q92781 type Q5.
- Q92781 type Q901.
- Q92781 type Person.
- Q92781 comment "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.".
- Q92781 label "Joseph Sifakis".
- Q92781 depiction Joseph_Sifakis_img_0966.jpg.
- Q92781 givenName "Joseph".
- Q92781 name "Joseph Sifakis".
- Q92781 name "Sifakis, Joseph".
- Q92781 surname "Sifakis".