|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。
ジョセフ・シファキス（Joseph Sifakis、）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。 1946年、クレタ島イラクリオンに生まれた〔(''Eleftherotypia'' - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής 〕。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ〔(Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή 〕。1974年、グルノーブル大学で博士号を取得し〔''Modèles temporels des systèmes logiques '' ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of Jean Kuntzmann〕、1979年には state doctorate を取得した〔''Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique '' ("Control of asynchronous systems: concepts, properties, static analysis"), USMG and INPG, 1979 under the supervision of Louis Bolliet〕〔当時、フランスには博士号が2段階あって、上位の ''doctorat d'état'' ("state doctorate") は教授職を得るのに必要だった。現在は、:en:Habilitation に置き換えられている。〕〔グルノーブル大学には理系の大学が2つある。Université scientifique et médicale de Grenoble (USMG, Grenoble-1) は後に Joseph Fourier University と改称。Grenoble Institute of Technology (INPG) は後に Grenoble-INP と改称した。VERIMAG は両者の共同研究施設である。〕。 シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み〔''Aperçu historique de l’immigration grecque à Grenoble '', Evangélia Moussouri, in ''Écarts d'identités'' n⁰95-96, ISSN 1252-6665, ''Des grecs, les grecs de Grenoble'' でのジョセフ・シファキスのインタビューを再録したもの, Musée Dauphinois, ISBN 2905375086 〕、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており〔、実際CNRSの創設者の1人である〔〔CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 〕。 また、Artist2（European Network of Excellence for research on Embedded Systems）のコーディネーターも務めている〔ARTIST2 NoE - Strategic Management Board — Artist2 NoE 〕。 また、フランスの国家功労勲章の役員も務めている〔Decree of 16 May 2008 published in the ''Journal officiel de la République Française'' of 17 May 2008.〕。 == 脚注・出典 == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ジョセフ・シファキス」の詳細全文を読む スポンサード リンク
|