ジョセフ・シファキスと計算機科学
ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。
ジョセフ・シファキスと計算機科学の違い
ジョセフ・シファキス 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)のコーディネーターも務めている。 また、フランスの国家功労勲章の役員も務めている。. 計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
ジョセフ・シファキスと計算機科学間の類似点
ジョセフ・シファキスと計算機科学は(ユニオンペディアに)共通で0ものを持っています。
上記のリストは以下の質問に答えます
- 何ジョセフ・シファキスと計算機科学ことは共通しています
- 何がジョセフ・シファキスと計算機科学間の類似点があります
ジョセフ・シファキスと計算機科学の間の比較
計算機科学が91を有しているジョセフ・シファキスは、18の関係を有しています。 彼らは一般的な0で持っているように、ジャカード指数は0.00%です = 0 / (18 + 91)。
参考文献
この記事では、ジョセフ・シファキスと計算機科学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: