ジョセフ・シファキス

ジョセフ・シファキス（Joseph Sifakis、、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。

 来歴 
1946年、クレタ島イラクリオンに生まれた(Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής  。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ(Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή  。1974年、グルノーブル大学で博士号を取得しModèles temporels des systèmes logiques ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of Jean Kuntzmann、1979年には state doctorate を取得したLe contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control of asynchronous systems: concepts, properties, static analysis"), USMG and INPG, 1979 under the supervision of Louis Bolliet当時、フランスには博士号が2段階あって、上位の doctorat d'état ("state doctorate") は教授職を得るのに必要だった。現在は、:en:Habilitation に置き換えられている。グルノーブル大学には理系の大学が2つある。Université scientifique et médicale de Grenoble (USMG, Grenoble-1) は後に Joseph Fourier University と改称。Grenoble Institute of Technology (INPG) は後に Grenoble-INP と改称した。VERIMAG は両者の共同研究施設である。。

シファキスは1976年にフランス市民権を得て以来ずっとフランスに住みAperçu historique de l’immigration grecque à Grenoble, Evangélia Moussouri, in Écarts d'identités n⁰95-96, ISSN 1252-6665, Des grecs, les grecs de Grenoble でのジョセフ・シファキスのインタビューを再録したもの, Musée Dauphinois, ISBN 2905375086 、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人であるCNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 。

また、Artist2（European Network of Excellence for research on Embedded Systems）のコーディネーターも務めているARTIST2 NoE - Strategic Management Board — Artist2 NoE。

また、フランスの国家功労勲章の役員も務めているDecree of 16 May 2008 published in the Journal officiel de la République Française of 17 May 2008.。

 脚注・出典 

 外部リンク 

本人のホームページ
チューリング賞発表

Category:フランスの計算機科学者
Category:チューリング賞受賞者
Category:米国科学アカデミー会員
Category:アメリカ芸術科学アカデミー会員
Category:ヨーロッパ・アカデミー会員
Category:ACMフェロー
Category:フランス国立科学研究センターの人物
Category:ギリシャ系フランス人
Category:イラクリオン出身の人物
Category:1946年生
Category:存命人物
Category:CNRSシルバーメダルの受賞者