4 関係: チューリング賞、アレン・エマーソン、エドムンド・クラーク、クレタ島。
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン(IBM)である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい!!: ジョセフ・シファキスとチューリング賞 · 続きを見る »
アレン・エマーソン
アーネスト・アレン・エマーソン(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チューリング賞を受賞。.
新しい!!: ジョセフ・シファキスとエドムンド・クラーク · 続きを見る »
クレタ島
レタ島(Κρήτη / Kriti; Crete)は、ギリシャ共和国南方の地中海に浮かぶ同国最大の島。古代ミノア文明が栄えた土地で、クノッソス宮殿をはじめとする多くの遺跡を持つ。また、温暖な気候や自然景観から地中海の代表的な観光地でもある。 クレタ島は島全体で、ギリシャ共和国の広域自治体であるペリフェリア(地方)を構成する。首府はイラクリオ(イラクリオン)。.
新しい!!: ジョセフ・シファキスとクレタ島 · 続きを見る »