Йосиф Сіфакіс ширина відомі учні науковий керівник Ιωσήφ ΣηφάκηςНародився 26 грудня 1946 1946 12 26 1 76 років Іракліон

|ширина= |відомі учні= |науковий керівник=

Йосиф Сіфакіс
Ιωσήφ Σηφάκης

Народився	26 грудня 1946(1946-12-26) (76 років) Іракліон
Країна	Франція (з 1976)
Діяльність	інформатик, інженер, дослідник
Alma mater	Афінський національний технічний університет, Університет Жозефа Фур'є
Галузь	інформатика
Заклад	Національний центр наукових досліджень
Посада	Науковий керівник CNRS^d
Науковий керівник	Louis Bolliet^d і Jean Kuntzmann^d
Аспіранти, докторанти	Stavros Tripakis^d Hubert Garavel^d Sergio Yovine^d Carlos Crego Rodríguez^d Stavros Tripakis^d Mohamad Jaber^d
Членство	Європейська академія French Academy of Technologies^d Американська академія мистецтв і наук Національна інженерна академія США Французька академія наук
Відомий завдяки:	перевірка моделей
Нагороди	Премія Тюрінга (2007)
Особ. сторінка	www-verimag.imag.fr/~sifakis/
Йосиф Сіфакіс у Вікісховищі

Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.

Біографія ред.

Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час^[коли?] Сіфакіс працює у дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 1993 по 2006 рік.

Нагороджений 2007 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.

Нагороди ред.

2007 — Премія Тюрінга разом із Кларком та Емерсоном за їхню роль у розвитку перевірки моделей — високоефективної техніки верифікації програм, що широко застосовується при розробці як програмного, так і апаратного забезпечення.

Примітки ред.

Czech National Authority Database
d:Track:Q13550863
Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
d:Track:Q5924723d:Track:Q90
↑ Математичний генеалогічний проєкт — 1997.
d:Track:Q829984
http://tel.archives-ouvertes.fr/tel-00010517
https://www.theses.fr/1988INPG0034
https://www.theses.fr/1998GRE10267
https://www.theses.fr/2010GRENM062
https://www.ae-info.org/ae/User/Sifakis_Joseph
. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.
. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.

Див. також ред.

Вікісховище має мультимедійні дані за темою: Йосиф Сіфакіс

Посилання ред.

Сторінка Йосифа Сіфакіса [ 26 лютого 2021 у Wayback Machine.] на сайті VERIMAG (англ.)

[<span_class="wikidata_cite_citetype_Q856638_citetype_Q1982918_citetype_Q36524"_data-entity-id="Q13550863">Czech_National_Authority_Database<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q13550863]]</div>-1] Czech National Authority Database
d:Track:Q13550863

[<span_class="wikidata_cite_citetype_Q1787111_citetype_Q277759_citetype_Q2217301"_data-entity-id="Q5924723">[[:fr:Who's_Who_in_France|Who's_Who_in_France]]<span_class="wef_low_priority_links">_—_[[:Париж|Paris]]:_1953._—_ISSN_[https://www.worldcat.org/issn/0083-9531_0083-9531];_[https://www.worldcat.org/issn/2275-0908_2275-0908]</span></span><div_style="display:none">[[d:Track:Q5924723]][[d:Track:Q90]]</div>-2] Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
d:Track:Q5924723d:Track:Q90

[<span_class="wikidata_cite_citetype_Q7094076_citetype_Q33002955_citetype_Q114955954"_data-entity-id="Q829984">Математичний_генеалогічний_проєкт<span_class="wef_low_priority_links">_—_1997.</span></span><div_style="display:none">[[d:Track:Q829984]]</div>-3] Математичний генеалогічний проєкт — 1997.
d:Track:Q829984

[[http://tel.archives-ouvertes.fr/tel-00010517_http://tel.archives-ouvertes.fr/tel-00010517]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-4] ttp://tel.archives-ouvertes.fr/tel-00010517

[[https://www.theses.fr/1988INPG0034_https://www.theses.fr/1988INPG0034]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-5] ttps://www.theses.fr/1988INPG0034

[[https://www.theses.fr/1998GRE10267_https://www.theses.fr/1998GRE10267]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-6] ttps://www.theses.fr/1998GRE10267

[[https://www.theses.fr/2010GRENM062_https://www.theses.fr/2010GRENM062]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-7] ttps://www.theses.fr/2010GRENM062

[[https://www.ae-info.org/ae/User/Sifakis_Joseph_https://www.ae-info.org/ae/User/Sifakis_Joseph]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-8] ttps://www.ae-info.org/ae/User/Sifakis_Joseph

[9] . Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.

[10] . Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.