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

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

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

Народився	26 грудня 1946(1946-12-26)^[1](77 років) Іракліон
Країна	Франція (з 1976)
Діяльність	інформатик, інженер, дослідник
Alma mater	Афінський національний технічний університет,
Галузь	інформатика
Заклад	Національний центр наукових досліджень
Посада	^d
Науковий керівник	^d^[3] і ^d^[4]
Аспіранти, докторанти	^d^[3] ^d^[3] ^d^[3] ^d^[5] ^d^[6] ^d^[7]
Членство	Європейська академія^[8] ^d Американська академія мистецтв і наук Національна інженерна академія США Французька академія наук Національна академія наук США^[9] Association for Computing Machinery^[10]
Відомий завдяки:	перевірка моделей
Нагороди	Премія Тюрінга (2007)
Особ. сторінка	www-verimag.imag.fr/~sifakis/
Йосиф Сіфакіс у Вікісховищі

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

Біографія

Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики , отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час^[] Сіфакіс працює у дослідницькій лабораторії при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 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
https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html
https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age
. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()

Див. також

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

Посилання

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

[<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

[[https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html_https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-9] ttps://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html

[[https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age_https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-10] ttps://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age

[11] . Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()

[12] . Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()

[1]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]