| Birthplace
|
http://dbpedia.org/resource/Crete +
, http://dbpedia.org/resource/Heraklion +
, http://dbpedia.org/resource/Greece +
|
| http://dbpedia.org/ontology/abstract
|
Joseph Sifakis (Greco: Iωσήφ Σηφάκης; Candia, 1946) è un informatico greco. Fu tra i primi a contribuire alla teoria del model checking. Sifakis (insieme con e ) ha ricevuto il Premio Turing nel 2007.
, 约瑟夫·斯发基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日－）是一名希腊计算机科学家和他也有法国国籍 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在取得的杰出贡献而获得图灵奖。
, ジョセフ・シファキス（Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。
, Joseph Sifakis (Grieks: Ιωσήφ Σηφάκης, Iosif Sifakis) (Iraklion, Kreta, 26 december 1946) is een Grieks/Frans informaticus. Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over .
, جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) … جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007. حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. سرعان ما أصبح سيفاكيس مديرًا للأبحاث في المركز الوطني للبحوث العلمية (CNRS) ومؤسسًا (1993) لمختبرات Verimag، وهو مختبر أبحاث أكاديمي في Gières في فرنسا، تابع لـ CNRS وجامعة جوزيف فورييه. في عام 2008، تم منح سيفاكيس الكرسي البحثي الجديد للأنظمة الذكية على متن الطائرة (intelligent onboard systems) في المعهد الفرنسي الوطني للبحوث والمعلوماتية والتشغيل الآلي (INRIA) في غرونوبل. سيفاكيس وإدموند كلارك وطالبه السابق المتخرج إرنست ألين إيمرسون تم الاستشهاد بهم في جائزة تورنغ عن عملهم في عام 1981 في برنامج فحص النموذج، والذي يستخدم لأتمتة الكشف عن الأخطاء المنطقية في تصميمات الدوائر المتسلسلة وفي البرامج. في تصميمات الدوائر المتسلسلة وفي البرامج.
, Joseph Sifakis (grec: Ιωσήφ Σηφάκης) és un … Joseph Sifakis (grec: Ιωσήφ Σηφάκης) és un informàtic francès nascut a Grècia, que va guanyar el premi Turing de 2007, conjuntament amb Edmund M. Clarke i E. Allen Emerson, per la seva feina en verificació de models. Va néixer a Càndia, Creta el 1946 i va estudiar Enginyeria Elèctrica a la Universitat Politècnica Nacional d'Atenes i Informàtica a la Universitat de Grenoble amb una beca francesa. Es va doctorar el 1974 a la Universitat de Grenoble, on també va rebre un doctorat d'estat el 1979. El 2009 va rebre un doctorat honoris causa de l'Escola Politècnica Federal de Lausana, a Suïssa, on el 2011 va ser nomenat professor titular (de l'Escola de Ciència Informàtica i de Comunicacions). Sifakis viu a França, d'on va obtenir-ne la ciutadania el 1976 i treballa al CNRS al laboratori VERIMAG, a prop de Grenoble, del qual n'és fundador. També és coordinador d'Artist2, la xarxa europea d'excel·lència en la recerca en sistemes incrustats. És gran oficial de l'Orde Nacional del Mèrit francesa i comandant de la Legió d'Honor. francesa i comandant de la Legió d'Honor.
, 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.
, Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; H … Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; Heraclião, 26 de dezembro de 1946) é um informático greco-francês. Foi laureado com o Prêmio Turing de 2007. Contribuiu significativamente para o advento do Model Checking e sua difusão na indústria. Estudou engenharia eletrônica na , com doutorado em informática, mediante uma bolsa de estudos francesa, na Universidade Joseph Fourier, em Grenoble. Universidade Joseph Fourier, em Grenoble.
, Joseph Sifakis (řecky: Ιωσήφ Σηφάκης; 26. … Joseph Sifakis (řecky: Ιωσήφ Σηφάκης; 26. prosince 1946, Heráklion) je řecko-francouzský informatik. V roce 2007 obdržel Turingovu cenu, za práci na automatických způsobech hledání chyb v návrzích počítačového hardwaru a softwaru. Vystudoval elektrotechniku na Národní technické univerzitě v Athénách (bakalářská úroveň, 1969) a počítačovou vědu na Université Grenoble-Alpes (magisterská úroveň, 1972, doktorát, 1974). Poté pracoval v Centre national de la recherche scientifique a v laboratořích Verimag v , které roku 1993 založil. Od roku 2008 pracuje v Institut National de Recherche en Informatique et en Automatique v Grenoblu. Roku 1976 se stal francouzským občanem.u. Roku 1976 se stal francouzským občanem.
, Ο Ιωσήφ Σηφάκης (γνωστός διεθνώς και ως Joseph Sifakis/ Ζοζέφ Σιφακίς) είναι Ελληνογάλλος ερευνητής της πληροφορικής και ένας από τους σημαντικότερους σύγχρονους της επιστήμης της πληροφορικής.
, Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.
, Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Jo … Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга. Член Французской академии наук (2011), иностранный член Китайской академии наук (2019).анный член Китайской академии наук (2019).
, Joseph Sifakis (en grec moderne : Ιωσήφ Ση … Joseph Sifakis (en grec moderne : Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque, né le 26 décembre 1946 à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies. En 2007, il est le premier lauréat français à recevoir le prix Turing. Ce prix, considéré comme l'équivalent du prix Nobel, est la plus haute distinction en informatique. Ses travaux de recherche portent principalement sur les systèmes embarqués critiques (nucléaire et transport).arqués critiques (nucléaire et transport).
, Joseph Sifakis (Heraclión, Creta, 26 de di … Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. el laboratorio VERIMAG cerca de Grenoble.
, Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Grenoble +
, http://dbpedia.org/resource/National_Technical_University_of_Athens +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/University_of_Grenoble +
, http://dbpedia.org/resource/National_Technical_University_of_Athens +
|
| http://dbpedia.org/ontology/birthDate
|
"1946-12-26"^^xsd:date
|
| http://dbpedia.org/ontology/citizenship
|
http://dbpedia.org/resource/Greeks +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Model_checking +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joseph_Sifakis_2018.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://en.wikipedia.org/w/index.php%3Ftitle=State_explosion_problem&redirect=no +
, https://www.epfl.ch/schools/ic/ +
, https://www.tsinghua.edu.cn/en/index.htm +
, https://www.sustech.edu.cn/en/ +
, http://www.irisa.fr/vertecs/Logiciels/TGV.html +
, http://cadp.inria.fr/ +
, http://techpolicy.acm.org/blog/%3Fp=572 +
, https://www.ansys.com/products/embedded-software/ansys-scade-suite +
, http://www-verimag.imag.fr/~maler/ +
, http://www-verimag.imag.fr/~sifakis/ +
, https://pub.ist.ac.at/~tah/ +
, https://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/ +
, https://dblp.org/pid/s/JosephSifakis.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
15590963
|
| http://dbpedia.org/ontology/wikiPageLength
|
12030
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1120700533
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Scholarship +
, http://dbpedia.org/resource/E._Allen_Emerson +
, http://dbpedia.org/resource/VERIMAG +
, http://dbpedia.org/resource/National_Technical_University_of_Athens +
, http://dbpedia.org/resource/Commander_of_the_Legion_of_Honor +
, http://dbpedia.org/resource/Computer_Aided_Verification +
, http://dbpedia.org/resource/Amir_Pnueli +
, http://dbpedia.org/resource/Greek_language +
, http://dbpedia.org/resource/Category:Commandeurs_of_the_L%C3%A9gion_d%27honneur +
, http://dbpedia.org/resource/Embedded_system +
, http://dbpedia.org/resource/CNRS +
, http://dbpedia.org/resource/Category:1946_births +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/Greeks +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/%C3%89cole_Polytechnique_F%C3%A9d%C3%A9rale_de_Lausanne +
, http://dbpedia.org/resource/Embedded_systems +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Electrical_Engineering +
, http://dbpedia.org/resource/Greece +
, http://dbpedia.org/resource/Lustre_%28programming_language%29 +
, http://dbpedia.org/resource/Grenoble +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/France +
, http://dbpedia.org/resource/Heraklion +
, http://dbpedia.org/resource/Crete +
, http://dbpedia.org/resource/French_people +
, http://dbpedia.org/resource/Category:Scientists_from_Heraklion +
, http://dbpedia.org/resource/University_of_Grenoble +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Edmund_M._Clarke +
, http://dbpedia.org/resource/Centre_national_de_la_recherche_scientifique +
, http://dbpedia.org/resource/PhD +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Grenoble +
, http://dbpedia.org/resource/National_Technical_University_of_Athens +
|
| http://dbpedia.org/property/awards
|
http://dbpedia.org/resource/University_of_Grenoble +
, http://dbpedia.org/resource/National_Technical_University_of_Athens +
|
| http://dbpedia.org/property/birthDate
|
"1946-12-26"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Greece +
, http://dbpedia.org/resource/Heraklion +
, http://dbpedia.org/resource/Crete +
|
| http://dbpedia.org/property/citizenship
|
http://dbpedia.org/resource/French_people +
, http://dbpedia.org/resource/Greeks +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Model_checking +
|
| http://dbpedia.org/property/name
|
Joseph Sifakis
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Turing_award +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Birth-date_and_age +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Circular_reference +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/%C3%89cole_Polytechnique_F%C3%A9d%C3%A9rale_de_Lausanne +
, http://dbpedia.org/resource/CNRS +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Scientists_from_Heraklion +
, http://dbpedia.org/resource/Category:Commandeurs_of_the_L%C3%A9gion_d%27honneur +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Category:1946_births +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/110770950 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Joseph_Sifakis?oldid=1120700533&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Joseph_Sifakis_2018.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Joseph_Sifakis +
|
| http://xmlns.com/foaf/0.1/name
|
Joseph Sifakis
|
| owl:sameAs |
http://ca.dbpedia.org/resource/Joseph_Sifakis +
, http://tr.dbpedia.org/resource/Joseph_Sifakis +
, http://arz.dbpedia.org/resource/%DA%86%D9%88%D8%B2%D9%8A%D9%81_%D8%B3%D9%8A%D9%81%D8%A7%D9%83%D9%8A%D8%B3 +
, https://dblp.org/pid/s/JosephSifakis +
, http://cs.dbpedia.org/resource/Joseph_Sifakis +
, http://www.wikidata.org/entity/Q92781 +
, http://sr.dbpedia.org/resource/%D0%96%D0%BE%D0%B7%D0%B5%D1%84_%D0%A1%D0%B8%D1%84%D0%B0%D0%BA%D0%B8%D1%81 +
, http://rdf.freebase.com/ns/m.03mgvd3 +
, http://de.dbpedia.org/resource/Joseph_Sifakis +
, http://zh.dbpedia.org/resource/%E7%BA%A6%E7%91%9F%E5%A4%AB%C2%B7%E6%96%AF%E5%8F%91%E5%9F%BA%E6%96%AF +
, http://uk.dbpedia.org/resource/%D0%99%D0%BE%D1%81%D0%B8%D1%84_%D0%A1%D1%96%D1%84%D0%B0%D0%BA%D1%96%D1%81 +
, http://ru.dbpedia.org/resource/%D0%A1%D0%B8%D1%84%D0%B0%D0%BA%D0%B8%D1%81%2C_%D0%98%D0%BE%D1%81%D0%B8%D1%84 +
, http://sk.dbpedia.org/resource/Joseph_Sifakis +
, http://it.dbpedia.org/resource/Joseph_Sifakis +
, http://fa.dbpedia.org/resource/%D8%AC%D9%88%D8%B2%D9%81_%D8%B3%DB%8C%D9%81%D8%A7%DA%A9%DB%8C%D8%B3 +
, http://es.dbpedia.org/resource/Joseph_Sifakis +
, http://data.bibliotheken.nl/id/thes/p074831267 +
, http://viaf.org/viaf/110770950 +
, http://mg.dbpedia.org/resource/Joseph_Sifakis +
, http://nl.dbpedia.org/resource/Joseph_Sifakis +
, http://d-nb.info/gnd/1049200187 +
, http://dbpedia.org/resource/Joseph_Sifakis +
, http://eo.dbpedia.org/resource/Joseph_Sifakis +
, http://yago-knowledge.org/resource/Joseph_Sifakis +
, http://ja.dbpedia.org/resource/%E3%82%B8%E3%83%A7%E3%82%BB%E3%83%95%E3%83%BB%E3%82%B7%E3%83%95%E3%82%A1%E3%82%AD%E3%82%B9 +
, http://ar.dbpedia.org/resource/%D8%AC%D9%88%D8%B2%D9%8A%D9%81_%D8%B3%D9%8A%D9%81%D8%A7%D9%83%D9%8A%D8%B3 +
, http://pt.dbpedia.org/resource/Joseph_Sifakis +
, http://el.dbpedia.org/resource/%CE%96%CE%BF%CE%B6%CE%AD%CF%86_%CE%A3%CE%B9%CF%86%CE%B1%CE%BA%CE%AF%CF%82 +
, https://global.dbpedia.org/id/55HjW +
, http://fr.dbpedia.org/resource/Joseph_Sifakis +
, http://ro.dbpedia.org/resource/Iosif_Sifakis +
, http://azb.dbpedia.org/resource/%D8%AC%D9%88%D8%B2%D9%81_%D8%B3%DB%8C%D9%81%D8%A7%DA%A9%DB%8C%D8%B3 +
|
| rdf:type |
http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://www.wikidata.org/entity/Q5 +
, http://xmlns.com/foaf/0.1/Person +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Traveler109629752 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Emigrant110051975 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Migrant110314952 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatGreekComputerScientists +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatPeopleFromHeraklion +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://dbpedia.org/class/yago/WikicatGreekPeople +
, http://dbpedia.org/class/yago/WikicatScholarsFromCrete +
, http://dbpedia.org/class/yago/WikicatTuringAwardLaureates +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/WikicatFrenchComputerScientists +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://dbpedia.org/class/yago/WikicatFrenchPeople +
, http://dbpedia.org/class/yago/Laureate110249011 +
, http://dbpedia.org/class/yago/WikicatGreekEmigrantsToFrance +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://dbpedia.org/class/yago/WikicatGreekAcademics +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/ontology/Scientist +
|
| rdfs:comment |
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
, Joseph Sifakis (grec: Ιωσήφ Σηφάκης) és un … Joseph Sifakis (grec: Ιωσήφ Σηφάκης) és un informàtic francès nascut a Grècia, que va guanyar el premi Turing de 2007, conjuntament amb Edmund M. Clarke i E. Allen Emerson, per la seva feina en verificació de models. Va néixer a Càndia, Creta el 1946 i va estudiar Enginyeria Elèctrica a la Universitat Politècnica Nacional d'Atenes i Informàtica a la Universitat de Grenoble amb una beca francesa. Es va doctorar el 1974 a la Universitat de Grenoble, on també va rebre un doctorat d'estat el 1979. També és coordinador d'Artist2, la xarxa europea d'excel·lència en la recerca en sistemes incrustats.ncia en la recerca en sistemes incrustats.
, 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.
, Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; H … Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; Heraclião, 26 de dezembro de 1946) é um informático greco-francês. Foi laureado com o Prêmio Turing de 2007. Contribuiu significativamente para o advento do Model Checking e sua difusão na indústria. Estudou engenharia eletrônica na , com doutorado em informática, mediante uma bolsa de estudos francesa, na Universidade Joseph Fourier, em Grenoble. Universidade Joseph Fourier, em Grenoble.
, Joseph Sifakis (en grec moderne : Ιωσήφ Ση … Joseph Sifakis (en grec moderne : Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque, né le 26 décembre 1946 à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies. En 2007, il est le premier lauréat français à recevoir le prix Turing. Ce prix, considéré comme l'équivalent du prix Nobel, est la plus haute distinction en informatique. Ses travaux de recherche portent principalement sur les systèmes embarqués critiques (nucléaire et transport).arqués critiques (nucléaire et transport).
, Joseph Sifakis (Greco: Iωσήφ Σηφάκης; Candia, 1946) è un informatico greco. Fu tra i primi a contribuire alla teoria del model checking. Sifakis (insieme con e ) ha ricevuto il Premio Turing nel 2007.
, Ο Ιωσήφ Σηφάκης (γνωστός διεθνώς και ως Joseph Sifakis/ Ζοζέφ Σιφακίς) είναι Ελληνογάλλος ερευνητής της πληροφορικής και ένας από τους σημαντικότερους σύγχρονους της επιστήμης της πληροφορικής.
, Joseph Sifakis (Heraclión, Creta, 26 de di … Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking. Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas, y Ciencias de la Computación en la Universidad de Grenoble. Actualmente (2007) vive en Francia y trabaja para el Centre national de la recherche scientifique (CNRS), en el laboratorio VERIMAG cerca de Grenoble. el laboratorio VERIMAG cerca de Grenoble.
, 约瑟夫·斯发基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日－）是一名希腊计算机科学家和他也有法国国籍 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在取得的杰出贡献而获得图灵奖。
, Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.
, Joseph Sifakis (Grieks: Ιωσήφ Σηφάκης, Iosif Sifakis) (Iraklion, Kreta, 26 december 1946) is een Grieks/Frans informaticus. Samen met Edmund M. Clarke en E. Allen Emerson heeft hij in 2007 de Turing Award gewonnen voor hun werk over .
, Joseph Sifakis (řecky: Ιωσήφ Σηφάκης; 26. prosince 1946, Heráklion) je řecko-francouzský informatik. V roce 2007 obdržel Turingovu cenu, za práci na automatických způsobech hledání chyb v návrzích počítačového hardwaru a softwaru.
, ジョセフ・シファキス（Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。
, جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) … جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007. حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل.المعهد الوطني للفنون التطبيقية في غرونوبل.
, Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Jo … Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга. Член Французской академии наук (2011), иностранный член Китайской академии наук (2019).анный член Китайской академии наук (2019).
|
| rdfs:label |
Joseph Sifakis
, ジョセフ・シファキス
, Ζοζέφ Σιφακίς
, 约瑟夫·斯发基斯
, Сифакис, Иосиф
, جوزيف سيفاكيس
, Йосиф Сіфакіс
|
