パリス・クリストス・カネラキス (ギリシャ語 : Πάρις Χρήστος Κανελλάκης ; 1953年12月3日 - 1995年12月20日)は、ギリシャ系アメリカ人の コンピュータ科学者 。
人生と学問の道 カネラキスは、1953年12月3日にアテネ で、エレフテリオス将軍とアルギロウラ・カネラキス夫人の一人っ子として 生まれました。
MIT の図書館にある Kanellakis 博士論文のコピー。1976年、アテネ国立工科大学 で電気工学 の学位を取得し、論文はエマニュエル・プロトノタリオスに指導を受けた。マサチューセッツ工科大学 で電気工学とコンピュータサイエンスの 大学院レベルでの研究を続けた。 1978年に理学修士 号を取得した。論文「非対称巡回セールスマン問題のスケジュール適用のためのアルゴリズム」は ロン・リベスト とマイケル・アサンズ に指導を受け、クリストス・パパディミトリウ (当時ハーバード大学 教授)も関わった。その後、当時同じくMITにいたパパディミトリウを指導教員として 博士号 取得のための研究を続けた。 1981年9月に分散データベースの並行処理制御の複雑さに関する 論文を提出した。 1982年2月に博士号を授与された。
1981年、ブラウン大学コンピュータサイエンス学部の 助教授 に就任。 1986年に准教授 として終身在職権を取得し、 1990年に教授となった。 1984年にはブラウン大学 を一時中断し、 MITコンピュータサイエンス研究所 の客員助教授として ナンシー・リンチの 指導の下、短期研究を行った。1988年には特別研究休暇でINRIA に1年間滞在し、セルジュ・アビテブールの指導の下、研究を行った。1982年から1991年にかけて、 IBM TJワトソン研究所 に数回短期滞在した。
受賞歴には、IBM Faculty Development Award(1985年)と数学分野 におけるスローン研究フェローシップ (1987~1989年)がある。1989年から1990年にかけては、IBM コンピュータサイエンスの准教授を務めた。
彼はギリシャ国籍で生まれ、1988年にアメリカ国籍を取得した。
カネラキスは1995年12月20日、妻のマリア・テレサ・オトヤと2人の子供、アレクサンドラとステファノスとともに、妻の家族との毎年恒例の休日の再会に向かう途中、アメリカン航空965便の墜落事故で亡くなった。 [ 8 ] [ 9 ] [ 10 ] [ 11 ]
研究と学術サービス 彼の科学的貢献は、演繹データベース 、オブジェクト指向データベース 、制約 データベースなどのデータベース理論 の分野、フォールトトレラント 分散計算 、型理論の 分野に及んでいる。
ブラウン大学 在学中、同大学で7件の博士論文(Smolka 1985、Revesz 1991、Shvartsman 1992、Mitchell 1993、Hillebrand 1994、Ramaswamy 1995、およびGoldin 1997)を指導し、MIT でも1件の博士論文(Cosmadakis 1985)を指導した。[ 15 ] PODS 、VLDB、 LICS 、 STOC 、 FOCS、 STACS 、 および PODC を 含む数多くの国際会議のプログラム委員会に参加した 。 科学誌 Information and Computation 、 SIAM Journal on Computing 、 Theoretical Computer Science 、 ACM Transactions on Database Systems 、 Journal of Logic Programming 、 Chicago Journal of Theoretical Computer Science 、および Applied Mathematics Lettersの 編集 顧問を務めた。 (彼はまた、 Constraints の初期段階にも関わっていました 。)
アレックス・シュヴァルツマン と共同で、彼らはモノグラフ『フォールトトレラント並列計算』 を執筆した。彼が亡くなった時点で、この本はまだ未完成だった。
死後
ブラウン大学 の記念樹の前にある銘板:
カネラキス・オトヤ一家を偲んで / 1995年12月 / コンピュータサイエンスの友人より ブラウン 大学コンピュータサイエンス図書館の銘板:
パリス・クリストス・カネラキス氏(1953-1995)の追悼に捧げられています。ブラウン大学で愛された教師であり、優れたコンピュータ科学者であったパリス・クリストス・カネラキス氏(1981-1995)の追悼に捧げられています。 ブラウン大学 のメイングリーンのベンチ:
マリア・テレサ・オトヤを偲んで / 心理療法士、1989-1995年、心理サービスに従事 / 知り合い、助けた人々に愛された
受賞歴 1996 年、計算機協会は パリ・カネラキス理論・実践賞を 創設しました。この賞は、「コンピューティングの実践に重大かつ明白な影響を与えた特定の理論的成果」を表彰するために毎年授与されます。[ 21 ] [ 22 ] [ 23 ] 過去の受賞者には 、レナード・エイドルマン 、ホイットフィールド・ディフィー 、マーティン・ヘルマン 、ラルフ・マークル 、ロン・リベスト 、アディ・シャミール 、[ 24 ] [ 25 ] アブラハム・レンペル、ジェイコブ・ジブ、[ 26 ] ランディ・ブライアント 、 エドモンド・ クラーク、 E・ アレン・ エマーソン、 ケン・マクミラン 、[ 27 ] [ 28 ] ダニー・スリーター 、ロバート・タージャン 、[ 29 ] ナレンドラ・カルマーカー 、[ 30 ] ユージン・マイヤーズ 、[ 31 ] ピーター・フランアシェク 、[ 32 ] ゲイリー・ミラー 、マイケル・ラビン 、 ロバート・ソロベイ 、フォルカー・シュトラッセン 、[ 33 ] ヨアブ・フロイント 、ロバート・シャピレ 、[ 34 ] ジェラルド・ホルツマン 、ロバート・クルシャン 、モシェ・ヴァルディ 、 ピエール・ウォルパー 、[ 35 ] ロバート・ブレイトン 、[ 36 ] ブルーノ・ブッフベルガー 、[ 37 ] コリーナ・コルテス 、ウラジミール・ヴァプニク 、[ 38 ] ミヒル ・ ベラーレ、 フィリップ・ロガウェイ 、[ 39 ] クルト・メルホルン 、[ 40 ] ハナン・サメット 、[ 41 ] アンドレイ・ブローダー 、モーゼス・チャリカル 、ピオトル・インディク 、[ 42 ] ロバート ・ブルモフェ 、チャールズ・レイソン . [ 43 ]
カネラキス氏の両親の寄付により、同氏が学び、勤務した3つの機関(ブラウン大学 、MIT 、NTUA) に同氏を記念した大学院奨学金3つと賞1つが設立されました。
ブラウン大学 のコンピュータサイエンス学部は、1997 年以来、毎年 2 つのパリ カネラキス フェローシップを授与しています。各フェローシップは 1 年間有効で、ギリシャ出身の大学院生が優先的に授与されます。[ 44 ] [ 45 ] [ 46 ] 過去の受賞者には、クリストス・アマナティディス、アリス・アナグノストプロス、[ 47 ] アレクサンドル・バラン、フォテイニ・バルディムツィ、グレンコーラ・L・ボラダイル、コスタス・ブッシュ、イリーナ・カルシウ、ダニエル・アセベド・フェリス、エシャ・ゴシュ、アルジュン・グハ、セルダル・カディオグル、エフゲニオスが含まれる。コルナロプロス、ハンムラビ・メンデス、ミハイル・ミハイリディス、トメル・モスコビッチ、シェイ・モゼス、オルガ・オリメンコ、オルガ・パパエンマヌイユ、シャランポス(バビス)・パパマントゥー、[ 46 ] [ 48 ] アレクサンドラ・パポウトサキ、エリック・イーリー・ラクリン、エマヌエル(マノス)・レニリス、[ 23 ] [ 49 ] ] ウォーレン・シューディ、ニコス・トライアンドプロス、[ [47 ] ヨアニス (ヤニス) ツォチャンタリディス、[ 49 ] アゲリキ ツォリ、およびヨアニス (ヤニス) ベルガドス。[ 44 ] [ 50 ] 1999 年以来、 MIT の電気工学およびコンピュータ サイエンス学部は、毎年 1 件のパリ カネラキス フェローシップを提供しています。このフェローシップは 1 年間続き、ギリシャ人またはギリシャ系アメリカ人の大学院生に授与されます。[ 51 ] [ 52 ] 過去の受賞者には、ニコラオス・アンドリコジャノプロス、ゲオルギオス・アンゲロプロス、クリストス・マリオ・クリストゥディアス、アポストロス・フェルティス、ヴァシリオス=マリオス・コルツァス、テミストクリス・グーレアキス、マノリス・カンヴィセリス(ケリス)、クリストス・カプーシス、アリステイディス・カラリス、ジョージア・エヴァンゲリア(ヨラ)・カツァルジリ、ゲオルギオス・パパクリストゥディス、アナスタシオス(タソス)・シディロプロス、カテリーナ・ソティラキ、クリストス・ツァモス。[ 50 ] 2000年以来、NTUAは 毎年パリ・カネラキス賞を授与しており、この賞は電気・コンピュータ工学部の学生で、情報技術分野の3年目と4年目の全科目で最も高いGPAを獲得した学生に授与されます。 [ 53 ] 過去の受賞者には、クリスティーナ・ジャヌーラ、[ 54 ] スピリドン・アントナコプロス、ゲオルギオス・アッシメノス、[ 55 ] コンスタンティノス・ダスカラキス 、[ 56 ] イリアス・ディアコニコラス、テオドロス・カッサムバリス、[ 57 ] ニコラス・イオアヌー、[ 58 ] イアサナス・コッキノス、[ 59 ] レオニダス・ランブロプロス、[ 60 ] エマヌエル・パパダキス、[ 61 ] チャラランボス・サミオス、カリス・ヴォロスなどがいます。[ 62 ]
イベント 1996年、ブラウン 大学コンピュータサイエンス学科は、第17回産業パートナー プログラムシンポジウムをカネラキスの研究キャリアを祝うものと宣言し、共著者の何人かによる講演を招いた。[ 63 ] 1996年と1997年に予定されていたいくつかの会議では、カネラキスが様々な役割を果たすことが期待されていたが、彼の記憶に敬意を表してプログラムを変更したり、議事録をカネラキスに捧げたりした。[ 64 ] 2002年には、彼を追悼して最初のギリシャデータ管理シンポジウムが開催された。[ 72 ] 2003年には、彼の50歳の誕生日を記念して会議「コンピューティングと知識の原理:パリC.カネラキス記念ワークショップ」が組織された。 [ 73 ]
2001 年、ブラウン大学 のコンピュータサイエンス学部は、毎年恒例のパリス カネラキス記念講演会を開始しました。この講演会は通常、秋学期の後半に開催され、講演者はカネラキスの元共著者や同僚であることが多いです。[ 75 ] [ 76 ] 過去の講義は、 アルヴィンド 、[ 77 ] [ 78 ] シンシア・ドワーク 、[ 79 ] アンナ・カーリン 、[ 80 ] [ 81 ] リチャード・カープ 、[ 49 ] [ 82 ] [ 83 ] ジョン・クラインバーグ 、[ 84 ] ナンシー・リンチ (およびアレックス・シュヴァルツマン )、[ 85 ] ジョン・ミッチェル 、[ 86 ] [ 87 ] ユージン・マイヤーズ 、[ 88 ] クリストス・パパディミトリウ 、[ 89 ] [ 90 ] マイケル・ラビン 、[ 91 ] ダニエル・スピルマン 、[ 92 ] モシェ・ヴァルディ 、[ 93 ] [ 94 ] ミハリス・ヤナカキス 、[ 76 ] [ 95 ] アンドリュー ・ヤオら が行いました。[ 96 ] [ 97 ]
他の カネラキスの死後数年間で、いくつかの科学雑誌が彼の技術的な死亡記事を掲載し、また彼を偲んで号を刊行した。[ 98 ] 個々の著者は博士論文や論文をカネラキスに捧げた。
1996年、ブラウン大学 のリンカーンフィールドにカネラキスと彼の家族を偲んでノルウェーカエデの木が植えられた。[ 112 ] [ 113 ] 翌年、コンピュータサイエンス学部は彼に敬意を表して図書館の名前を変更した。[ 23 ] [ 113 ] [ 114 ] カネラキスの両親が息子とその家族の追悼として依頼したコスタス・ヴァロトソスの彫刻「地平線」は、 ギリシャ のコリンシア州 リヤ近郊の SOS子どもの村 に寄贈された家族所有の土地に設置された。[ 113 ] [ 115 ] [ 116 ]
注記
参考文献 Kanellakis, Paris C. (1976).力学系の弱確率安定性の簡易検定基準 ( NTUA 理学士). 指導教員:Emmanuel Protonotarios . Kanellakis, Paris C. (1978).非対称巡回セールスマン問題のスケジューリング応用のためのアルゴリズム ( MIT 修士課程).ロン・リベスト とマイケル・アサンズ の指導による. hdl : 1721.1/16223 . Kanellakis, Paris C. (1981).分散データベースにおける同時実行制御の複雑性 (PDF) ( MIT 博士号). 指導教員:Christos Papadimitriou . Kanellakis, Paris C. (1 Nov 1995).履歴書 (技術報告書) . 2012年12月12日 閲覧 。 「パリス・C・カネラキス、1953-1995」 (PDF) .コンデュイット . 5 (1): 1– 2. 1996.「パリス・カネラキスの研究」 (PDF) .コンデュイット . 5 (1): 2– 4. 1996.アビテブール, セルジュ; クーパー, ガブリエル M.; メアソン, ハリー G.; シュヴァルツマン, アレクサンダー A.; ヴァルディ, モシェ Y. (1996a). 「追悼」 . ACMコンピューティングサーベイ . 28 (1): 3– 15. doi : 10.1145/234313.234318 . S2CID 13029473 . アビテブール, セルジュ; クーパー, ガブリエル M.; メアソン, ハリー G.; シュヴァルツマン, アレクサンダー A.; ヴァルディ, モシェ Y. (1996b). 「パリス・C・カネラキスを偲んで」.アルゴリズムジャーナル . 20 (2): 202– 204. doi : 10.1006/jagm.1996.0010 . S2CID 11794440 . Atzeni, Paolo; Tannen, Val 編 (1996).第5回データベースプログラミング言語国際ワークショップ (DBPL-5) 議事録 . Springer. バーンズ, ジェームズ・E.、モーゼス, ヨラム編 (1996).第15回分散コンピューティング原理シンポジウム (PODC'96) 議事録 . ACM. Dwork, Cynthia (1996). 「分散コンピューティングコラム」 . ACM SIGACT News . 27 (3): 50– 54. doi : 10.1145/235666.235671 . S2CID 7482415 . フロイダー、ユージン・C.編 (1996a).制約プログラミングの原理と実践 — CP96 . コンピュータサイエンス講義ノート. 第1118巻. シュプリンガー. CiteSeerX 10.1.1.136.4642 . doi : 10.1007/3-540-61551-2 . ISBN 978-3-540-61551-4 。 フロイダー, ユージン C. (1996b). 「制約ジャーナル」.制約 . 1 ( 1-2 ): 5. doi : 10.1007/BF00143876 . S2CID 40057071 . ハル、リチャード (1996).追悼: パリス・C・カネラキス . 第15回データベースシステム原理シンポジウム (PODS'96) 議事録. ACM. p. 79. doi : 10.1145/237661.242786 . アラン・ジュール・メイヤー(1996年)。高速ネットワークの制御と応用のための基本アルゴリズム (コロンビア大学 博士号取得)。指導教員:ズヴィ・ガリル 。 ヴァン・ヘンテンリック、パスカル (1996). 「パリス・C・カネラキスを偲んで」.論理プログラミングジャーナル . 27 (1): 1– 3. doi : 10.1016/S0743-1066(96)90094-1 . Vardi, Moshe Y. (1996). 「追悼:Paris C. Kanellakis (1953–1995)」 情報計算 . 127 (2): 65. doi : 10.1006 /inco.1996.0051 . Yannakakis, Mihalis (1996). 「データベース理論の展望」ACM SIGACT News . 27 (3): 25– 49. doi : 10.1145/235666.235670 . S2CID 28406126 . Afrati, Foto N. ; Kolaitis, Phokion 編 (1997).データベース理論 - ICDT '97 . コンピュータサイエンス講義ノート. 第1186巻. Springer.ピーター・ブネマン、スタン・ズドニク(1997年)「パリス・カネラキスを偲んで」 デジタル図書館ジャーナル 1 ( 1) フェイギン、ロナルド (1997). 「編集者の序文」 .コンピュータとシステム科学ジャーナル . 54 (1): 1. doi : 10.1006/jcss.1997.1448 . Gaede, Volker; Brodsky, Alexander; Guenther, Oliver; Srivastava, Divesh; Vianu, Victor; Wallace, Mark 編 (1996).制約データベースとその応用 . コンピュータサイエンス講義ノート. 第1191巻. Springer. doi : 10.1007/3-540-62501-1 . ISBN 978-3-540-62501-8 . S2CID 32718238 . Goldin, Dina Q. (1997).制約クエリ代数 (PDF) (ブラウン大学 博士号). 指導教員: Stan Zdonik と Paris Kanellakis. Grumbach, Stéphane; Su, Jianwen (1997). 「算術制約付きクエリ」 .理論計算機科学 . 173 (1): 151– 181. doi : 10.1016/S0304-3975(96)00194-6 . ニール・イマーマン、フォキオン・コライティス編(1997年)『記述的複雑性と有限モデル 』アメリカ数学会ISBN 9780821870761 。 Kanellakis, Paris C.; Shvartsman, Alexander A. (1997).フォールトトレラント並列計算 . Kluwer Academic Publishers. ISBN 978-0792399223 。 Ramakrishnan, Raghu; Stuckey, Peter J. (1997). 「制約とデータベース特集号の紹介」. Constraints . 2 ( 3–4 ): 243. doi : 10.1023/A:1009702011844 . S2CID 22851718 . Benedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon (1998). 「制約クエリ言語のリレーショナル表現力」 . Journal of the ACM . 45 (1): 1– 34. doi : 10.1145/273865.273870 . S2CID 52151881 . Revesz, Peter Z. (1998).制約データベース:概説 . データベースにおけるセマンティクスに関するワークショップ(1995年)からの選集. コンピュータサイエンス講義ノート. 第1358巻. Springer. pp. 209– 246. doi : 10.1007/BFb0035010 . Goldin, Dina Q.; Shvartsman, Alex A.; Smolka, Scott A.; Vitter, Jeffrey S.; Zdonik, Stan B. 編 (2003).パリス・C・カネラキス記念ワークショップ「コンピューティングと知識の原理」議事録 . アメリカ数学会.
外部リンク