ジョセフ・シファキスとモデル検査

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ジョセフ・シファキスとモデル検査の違い

ジョセフ・シファキス vs. モデル検査

ョセフ・シファキス（Joseph Sifakis、Ιωσήφ Σηφάκης、1946年12月26日 - ）は、ギリシャ系フランス人の計算機科学者で、エドムンド・クラークとアレン・エマーソンと共にモデル検査に関する業績で2007年のチューリング賞を受賞した。 1946年、クレタ島イラクリオンに生まれた(Eleftherotypia - 05 Feb 2008) 。国立アテネ工科大学で電気工学を学び、フランスから奨学金を得てグルノーブル大学で計算機科学を学んだ(Kathimerini - 04 Feb 2008) 。1974年、グルノーブル大学で博士号を取得し、1979年には state doctorate を取得したグルノーブル大学には理系の大学が2つある。Université scientifique et médicale de Grenoble (USMG, Grenoble-1) は後に Joseph Fourier University と改称。Grenoble Institute of Technology (INPG) は後に Grenoble-INP と改称した。VERIMAG は両者の共同研究施設である。。 シファキスは1976年にフランス市民権を得て以来ずっとフランスに住み、グルノーブル近郊のVERIMAGにあるフランス国立科学研究センター (CNRS) で働いており、実際CNRSの創設者の1人であるCNRS website - 。 また、Artist2（European Network of Excellence for research on Embedded Systems）のコーディネーターも務めている。 また、フランスの国家功労勲章の役員も務めている。. モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。.

アレン・エマーソン

アーネスト・アレン・エマーソン（Ernest Allen Emerson、1954年6月2日 - ）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。.

アレン・エマーソンとジョセフ・シファキス · アレン・エマーソンとモデル検査 · 続きを見る »

エドムンド・クラーク

ドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - ）は、ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。アレン・エマーソン、ジョセフ・シファキスと共に、2007年のACMチューリング賞を受賞。.

エドムンド・クラークとジョセフ・シファキス · エドムンド・クラークとモデル検査 · 続きを見る »