Иосиф Сифакис (Joseph Sifakis)

Эдуард Пройдаков

Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis).

Иосиф Сифакис – французский учёный греческого происхождения – родился в 26 декабря 1946 года в Ираклионе, административном центре греческого острова Крит. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где изучал компьютерные науки на факультете информатики Университета Гренобля, где в 1974 году получил степень доктора наук, а в 1979 году там же получил государственную докторскую степень.

В 1976 году Иосиф Сифакис принял французское гражданство. В настоящее время И. Сифакис работает старшим научным сотрудником в исследовательской лаборатории Verimag (www.verimag.imag.fr/) при Национальном центре научных исследований Франции недалеко от Гренобля. Эту лабораторию он основал и руководил ею 13 лет (с 1993 по 2006 год). Кроме того, Иосиф Сифакис также директор «Centre de la Recherche Intégrative» (CRI) в Гренобле.

Verimag – ведущая в области встроенных систем исследовательская лаборатория, известная созданием синхронного языка Luster, используемого для разработки критически важных приложений для авионики и космических систем.

Его текущие исследовательские интересы охватывают фундаментальные и прикладные аспекты проектирования встроенных систем. Основное внимание в его работе уделяется формализации создания проекта системы как процесса, ведущего от заданных требований к надёжным, оптимизированным и реалистичным реализациям.

Иосиф Сифакис выполнял многочисленные административные и управленческие обязанности как во Франции, так и на европейском уровне. В течение десяти лет он активно работал в качестве научного координатора европейских сетей передового опыта «ARTIST2» (European Networks of Excellence, www.artist-embedded.org/artist/) над активизацией европейских исследований по встроенным системам. Эта сеть объединяет 35 лучших европейских команд, и ставит своей целью создание инновационных результатов для надёжных встроенных систем.

Он участвовал во многих крупных промышленных проектах для таких компаний, как Airbus, EADS, France Telecom, Astrium и STMicroelectronics. Эти проекты перечислены на его странице www-verimag.imag.fr/~sifakis/?link=Projects.

И. Сифакис – член Академии наук Франции (www.academie-sciences.fr), член Французской национальной инженерной академии (www.academie-technologies.fr/), и член Академии Европы (Academia Europea, www.acadeuro.org/), а также член Американской академии науки и искусства (American Academy of Arts and Sciences).

С февраля 2014 года по апрель 2016 года И. Сифакис был президентом Греческого совета по исследованиям и технологиям.

Преподавательская и научная деятельность.

В 2011-2016 гг. Иосиф Сифакис был полным профессором в Ecole Polytechnique Fédérale de Lausanne (EPFL). Руководитель магистерских работ студентов.

Иосиф Сифакис член редакционных советов ряда журналов, соучредитель международной конференции CAV (Computer Aided Verification) и член попечительского совета конференции EMSOFT (Embedded Software).

Награды.

2001 – Серебряная медаль Национального центра научных исследований.

2007 – Премия Тьюринга вместе с Эдмундом Кларком (Edmund Clarke) и Алленом Эмерсоном (Allen Emerson) за их роль в развитии проверки моделей (model checking) – “метода верификации моделей программ, который используется для проверки, является ли данная логическая структура (программа или «железо») моделью данной формулы. Программный код анализируется на предмет того, насколько он вписывается в общие требования к дизайну системы. Метод изначально разрабатывался в рамках сугубо теоретического исследования, но вскоре нашёл широкое практическое применение в разработке сложных интегральных схем, коммуникационных протоколов, драйверов устройств, цифровых контроллеров и т. д.” [1]. И. Сифакис – единственный во Франции лауреат Премии Тьюринга.

2099 г. – Премия Фонда парламента Греции за парламентаризм и демократию.

И. Сифакис – Великий кавалер ордена “За заслуги”; кавалер ордена Почётного легиона.

2012 г. – Медаль Леонардо да Винчи.

Публикации.

2013 г. – вышла его книга Rigorous System Design (её английский тест есть в свободном доступе в Интернете). Полный список публикаций Иосифа Сифакиса и их тексты дан на его странице на сайте http://www-verimag.imag.fr/~sifakis/.

Литература.

https://m.geektimes.ru/post/19937/?mobile=yes.

http://www.demokritos.gr/library/downloads/Docs/documents/announcements/sifakis_cv.pdf. 

Помещена в музей с разрешения автора 16 июня 2017