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