BabelNet

bn:00782959n

Noun Named Entity

Categories: チューリング賞受賞者, フランスの計算機科学者, 存命人物, イラクリオン出身の人物, 1946年生

ジョセフ・シファキス Joseph Sifakis

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

Definitions

Relations

Sources

研究員 Wikidata

IS A

AWARD RECEIVED

COUNTRY OF CITIZENSHIP

DESCRIBED BY SOURCE

DOCTORAL ADVISOR

DOCTORAL STUDENT

Carlos Crego Rodríguez

EDUCATED AT

EMPLOYER

FIELD OF WORK

GIVEN NAME

LANGUAGES SPOKEN, WRITTEN OR SIGNED

MEMBER OF

French Academy of Technologies

OCCUPATION

PLACE OF BIRTH

POSITION HELD

SEX OR GENDER

BabelNet

Joseph Sifakis

Wikipedia

ジョセフ・シファキス

Wikidata

ジョセフ・シファキス