ジョセフ・シファキス
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/01 01:00 UTC 版)
ジョセフ・シファキス（Joseph Sifakis、希: Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。
- ^ a b (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Archived 2008年2月7日, at the Wayback Machine. （ギリシア語）
- ^ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Archived 2011年7月16日, at the Wayback Machine. （ギリシア語）
- ^ 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
- ^ 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 に置き換えられている。
- ^ a b グルノーブル大学には理系の大学が2つある。Université scientifique et médicale de Grenoble (USMG, Grenoble-1) は後に Joseph Fourier University と改称。Grenoble Institute of Technology (INPG) は後に Grenoble-INP と改称した。VERIMAG は両者の共同研究施設である。
- ^ 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
- ^ CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 （フランス語）
- ^ 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.
[続きの解説]
「ジョセフ・シファキス」の続きの解説一覧
- 1 ジョセフ・シファキスとは
- 2 ジョセフ・シファキスの概要
- ジョセフ・シファキスのページへのリンク
