Джозеф Сифакис - Joseph Sifakis

Джозеф Сифакис
Джозеф Сифакис img 0966.jpg
Родившийся26 декабря 1946 г. (1946-12-26) (возраст73)
Ираклион, Крит, Греция
ГражданствоГреческий -Французский
Альма-матерНациональный технический университет Афин
Университет Гренобля
ИзвестенРазработка модели проверки
НаградыNAE (2017)
ACM Премия Тьюринга (2007)
Commandeur de la Légion d'honneur
Великий офицер де л 'ordre national du Mérite
Médaille d'argent du CNRS
Научная карьера
ПоляИнформатика
УчрежденияCNRS

Джозеф Сифакис (Греческий: Ιωσήφ Σηφάκης) это Греческий -Французский специалист в области информатики с французским гражданством,[1] лауреат 2007 г. Премия Тьюринга, вместе с Эдмунд М. Кларк и Э. Аллен Эмерсон, за его работу над проверка модели.

биография

Он родился в Ираклион, Крит в 1946 г.[2] и учился Электротехника на Национальный технический университет Афин и Информатика на Университет Гренобля под французским стипендия.[3] Он получил докторская степень в 1974 году из Университета Гренобля,[4] где он также получил докторскую степень в 1979 году.[5][6][7]

В 2009 году он был удостоен звания доктора наук. от École Polytechnique Fédérale de Lausanne, Швейцария, где он был назначен профессором в 2011 г.[8] (в Школе компьютерных и коммуникационных наук).

Сифакис живет в Франция, гражданство которого он принял в 1976 г.[1] и работает на Национальный центр научных исследований на VERIMAG лаборатория рядом Гренобль,[7] из которых он является основателем.[2][9]

Он также является координатором Артист2, Европейская сеть передового опыта по исследованиям Встроенные системы.[10]

Он великий офицер Франции национальный орден за заслуги[11] и командующий во Франции Почетный легион.[12]

Он получил медаль Леонардо да Винчи в 2012 году. В 2009 году он получил премию Парламентского фонда Греции за парламентаризм и демократию. Он командир Греческий национальный орден Феникса.В 2019 году он был избран иностранным членом Китайская Академия Наук[13]

Рекомендации

  1. ^ а б Aperçu Historique de l’immigration grecque à Grenoble, Эванджелия Муссури, в Écarts d'identités №95-96, ISSN 1252-6665, перепечатка информации из интервью Джозефа Сифакиса в Des grecs, les grecs de Grenoble, Музей Дофинуа, ISBN  2-905375-08-6
  2. ^ а б (Элефтеротипия - 5 февраля 2008 г.) Λληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής В архиве 7 февраля 2008 г. Wayback Machine (на греческом)
  3. ^ (Катимерини - 4 февраля 2008 г.) Το βραβείο Turing 2007 σε λληνα ερευνητή В архиве 16 июля 2011 г. Wayback Machine (на греческом)
  4. ^ Временные модели логических систем («Временные модели логических систем»), Université scientifique et médicale de Grenoble, 1976, под руководством Жан Кунцманн
  5. ^ Le contrôle des systèmes asynchrones: концепции, собственность, анализ статистики («Управление асинхронными системами: концепции, свойства, статический анализ "), USMG и INPG, 1979 г. под руководством Луи Боллиет
  6. ^ В то время, когда Жозеф Сифакис был аспирантом, во Франции существовало два уровня докторантуры: высший и высший. докторская степень ("государственная докторская степень") необходима для доступа профессуры. С тех пор он был заменен на абилитация.
  7. ^ а б В Гренобле было два научных университета: Université scientifique et médicale de Grenoble (USMG, Grenoble-1), который позже был переименован в Университет Джозефа Фурье, а Гренобльский технологический институт (INPG), позже переименованный в Grenoble-INP. VERIMAG - совместная лаборатория CNRS, Университета Джозефа Фурье и Grenoble-INP.
  8. ^ Новости EPFL
  9. ^ CNRS интернет сайт - Джозеф Сифакис, инспектор CNRS, получил приз Тьюринга 2007 (На французском)
  10. ^ ARTIST2 NoE - Совет по стратегическому управлению - Artist2 NoE
  11. ^ Указ от 16 мая 2008 г. опубликовано в Журнал Officiel de la République Française от 17 мая 2008 г.
  12. ^ Указ от 13 июля 2011 г. опубликовано в Журнал Officiel de la République Française от 14 июля 2008 г.]
  13. ^ «Избранные члены Китайской академии наук, 2019».

внешняя ссылка