Joseph Sifakis

この人は?

ジョセフ・シファキス（Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。 来歴 1946年、クレタ島イラクリオンに生まれた。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ。1974年、グルノーブル大学で博士号を取得し、1979年には state doctorate を取得した。 シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人である。 また、Artist2（European Network of Excellence for research on Embedded Systems）のコーディネーターも務めている。 また、フランスの国家功労勲章の役員も務めている。 脚注・出典 外部リンク 本人のホームページ チューリング賞発表

経歴

1. 1946
   Born
2. 2001
   Won CNRS silver medal
3. 2007
   Won Turing Award
4. 2008
   Member of Academia Europaea
5. Member of French Academy of Technologies
6. Member of American Academy of Arts and Sciences
7. Won Commander of the Legion of Honour
8. Won Grand Officer of the National Order of Merit
9. Won honorary doctor of the École polytechnique fédérale de Lausanne

豆知識

• •Place of birth: Heraklion
• •Citizenship: Greece, France
• •Known as: computer scientist, engineer, researcher