ジョセフ・シファキス
| 読み | ジョセフシファキス |
|---|---|
| 生年月日 | 1946年12月26日生 |
| 年齢 | 満77歳4ヶ月 |
| 星座 | 山羊座(やぎ座, Capricorn, The Goat) |
| 干支 | 戌年(いぬ年) |
| 運命星 | 金星人(＋)[運命数46, 星数11] |
ジョセフ・シファキス(Joseph Sifakis、、1946年12月26日 - )は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。
[ ウィキペディアで続きを見る... ]
[ ウィキペディアで続きを見る... ]
◆「ジョセフ・シファキス」と同じカテゴリ
◆「ジョセフ・シファキス」の外部リンク