ジョセフ・シファキス
ジョセフ・シファキス（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）のコーディネーターも務めている。

また、フランスの国家功労勲章の役員も務めている。
Q18610
1946年
TIME
Q2761
12月26日
TIME
Q539051
ギリシャ
Concept
Q121842
フランス人
Concept
Q21198
計算機科学
Concept
Q92819
エドムンド・クラーク
PER
Q92821
アレン・エマーソン
PER
Q1569697
モデル検査
Concept
Q185667
チューリング賞
EVE
Q34374
クレタ島
LOC
Q160544
イラクリオン
LOC
None
国立アテネ工科大学
UNK
Q43035
電気工学
Concept
Q188823
奨学金
Concept
None
グルノーブル大学
UNK
Q21198
計算機科学
Concept
Q142
フランス
LOC
Q1289
グルノーブル
LOC
Q280413
フランス国立科学研究センター
LOC
Q193040
Embedded Systems
Concept
Q92781
ジョセフ・シファキス
PER
1946-12-26T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1946年12月26日
DATE
13-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2007年
DATE
74-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1946年
DATE
46-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1974年
DATE
41-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1979年
DATE
44-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1976年
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
field of work
award received
place of birth
field of work
country of citizenship
employer
date of birth
country of citizenship
award received
award received
field of work
field of work
country
country