uk %D0%99%D0%BE%D1%81%D0%B8%D1%84 %D0%A1%D1%96%D1%84%D0%B0%D0%BA%D1%96%D1%81

Йосиф Сіфакіс
Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Народився	26 грудня 1946 (77 років); Іракліон
Країна	Франція (з 1976)
Діяльність	інформатик, інженер, дослідник
Alma mater	Афінський національний технічний університет, Університет Жозефа Фур'є
Галузь	інформатика
Заклад	Національний центр наукових досліджень
Посада	Науковий керівник CNRSd
Науковий керівник	Louis Bollietd і Jean Kuntzmannd
Аспіранти, докторанти	Stavros Tripakisd; Hubert Garaveld; Sergio Yovined; Carlos Crego Rodríguezd; Stavros Tripakisd; Mohamad Jaberd
Членство	Європейська академія; French Academy of Technologiesd; Американська академія мистецтв і наук; Національна інженерна академія США; Французька академія наук; Національна академія наук США; Association for Computing Machinery
Відомий завдяки:	перевірка моделей
Нагороди	Премія Тюрінга (2007)
Особ. сторінка	www-verimag.imag.fr/~sifakis/
	Йосиф Сіфакіс у Вікісховищі

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

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

Біографія

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

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

Нагороди

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

Примітки

↑ Чеська національна авторитетна база даних
d:Track:Q13550863
↑ Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
d:Track:Q5924723 d: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.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
↑ Архівована копія. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

Див. також

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

Посилання

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

[<span_class="wikidata_cite_citetype_Q856638_citetype_Q1982918_citetype_Q36524"_data-entity-id="Q13550863">Чеська_національна_авторитетна_база_даних<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q13550863]]</div>-1] Чеська національна авторитетна база даних
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:Q5924723 d: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.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]