| 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/ Ζοζέφ Σιφακίς) είναι Ελληνογάλλος ερευνητής της πληροφορικής και ένας από τους σημαντικότερους σύγχρονους της επιστήμης της πληροφορικής. (el)
- 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. (en)
- 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. (es)
- 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). (fr)
- 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. (it)
- ジョセフ・シファキス（Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。 (ja)
- 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 . (nl)
- Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга. Член Французской академии наук (2011), иностранный член Китайской академии наук (2019). (ru)
- 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. (pt)
- Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга. (uk)
- 约瑟夫·斯发基斯（英語：Joseph Sifakis，希臘語：Ιωσήφ Σηφάκης，1946年12月26日－）是一名希腊计算机科学家和他也有法国国籍 。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在取得的杰出贡献而获得图灵奖。 (zh)
- جوزيف سيفاكيس (باليونانية: Ιωσήφ Σηφάκης) (من مواليد 26 ديسمبر 1946 ، إيراكليون، كريت، اليونان) عالم حاسوب فرنسي-يوناني، اشتهر بمساهماته في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 2007. حصل سيفاكيس على درجة البكالوريوس (1969) في الهندسة الكهربائية من الجامعة التقنية الوطنية في أثينا ودرجة الماجستير (1972) ودكتوراه إنجينيور docteur ingénieur عام (1974) في علوم الحاسب من جامعة العلوم والطب في غرونوبل (المعروفة أيضًا باسم جامعة غرينوبل 1 أعيدت تسميتها الآن لتصبح جامعة جوزيف فورييه) في فرنسا. في عام 1979 حصل على درجة الأستاذية في الرياضيات (تخصص علوم الكمبيوتر) من غرونوبل 1 والمعهد الوطني للفنون التطبيقية في غرونوبل. (ar)
- 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. (ca)
- 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. (cs)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)