Loading article…
フォキオン・G・コライティス | |
|---|---|
| 生まれる | 1950年7月4日 |
| 母校 | アテネ大学 UCLA |
| 受賞歴 | グッゲンハイムフェローシップ NKUA名誉博士号 アロンゾチャーチ賞 |
| 科学者としてのキャリア | |
| フィールド | データベースシステム コンピュータサイエンスにおけるロジック 計算の複雑さ |
| 機関 | |
| 博士課程の指導教員 | ヤニス・N・モショヴァキス |
| Webサイト | ユーザーズ.soe.ucsc.edu/~kolaitis/ |
フォキオン・G・コライティス ACM（1950 年 7 月 4 日生まれ）は、現在カリフォルニア大学サンタクルーズ校の特別研究教授であり、 IBM アルマデン研究センターの主席研究スタッフでもあるコンピュータ科学者です。彼の研究対象には、データベース システムの原理、コンピュータ サイエンスの論理、計算の複雑さなどがあります。
教育
コライティスは1973年にアテネ大学で数学の学士号を取得し、1974年にカリフォルニア大学ロサンゼルス校で数学の修士号と博士号をそれぞれ取得し、1978年にはカリフォルニア大学ロサンゼルス校で数学の博士号を取得した。[1]
キャリアと研究
コライティスは現在、カリフォルニア大学サンタクルーズ校のコンピュータサイエンスおよびエンジニアリング学部の特別研究教授です。また、IBMアルマデン研究所の理論グループの主任研究員でもあります。データベースシステムの原理、コンピュータサイエンスの論理、計算複雑性、その他の関連分野に関する研究で知られています。 [2]
主な出版物
データ交換：セマンティクスとクエリ応答、R Fagin、PG Kolaitis、RJ Miller、L Popa、理論計算機科学336（1）、89-124 [3]
結合クエリの包含と制約充足、PG Kolaitis、MY Vardi、Journal of Computer and System Sciences 61 (2)、302-332 [4]
データ交換：核心に迫る、R Fagin、PG Kolaitis、L Popa、ACM Transactions on Database Systems (TODS) 30 (1)、174-210 [5]
スキーママッピングの作成：二次依存関係が救世主、R Fagin、PG Kolaitis、L Popa、WC Tan、ACM Transactions on Database Systems (TODS) 30 (4)、994-1055 [6]
2変数一階述語論理の決定問題について、E Grädel、PG Kolaitis、MY Vardi、Bulletin of Symbolic Logic、53-69 [7]
認識
- 1993グッゲンハイムフェローシップ、ジョン・サイモン・グッゲンハイム記念財団
- 2005年計算機協会フェロー[ 8]
- 2007年フィンランド科学文学アカデミー外国人会員
- 2008年計算機協会 PODS Alberto O. Mendelzon Test-of-Time 賞、論文「結合クエリの包含と制約充足」( Moshe Y. Vardiとの共著)
- 2010年アメリカ科学振興協会フェロー[9]
- 2013年国際データベース理論会議の論文「データ交換：セマンティクスとクエリ回答」（R. Fagin、RJ Miller、L. Popaとの共著）でTest-of-Time賞を受賞
- 2014年ギリシャ、アテネ大学数学部および情報通信学部名誉博士号[10]
- 2014 年Association for Computing Machinery PODS Alberto O. Mendelzon Test-of-Time 賞 (論文「スキーマ マッピングの作成: 救済のための第 2 階論理」(R. Fagin、L. Popa、W.-C. Tan との共著))
- 2017年アカデミア・ヨーロッパ外国人会員
- 2020年論理と計算への優れた貢献に対するアロンゾ・チャーチ賞（共同受賞）[11]
参考文献
- ^ 「履歴書。フォキオン G. コライティス」(PDF)。
- ^ “SIGMOD 2019 でのフォキオン・コライティス特別イベント”.
- ^ Fagin, Ronald; Kolaitis, Phokion G.; Miller, Renée J.; Popa, Lucian (2005 年 5 月 25 日). 「データ交換: セマンティクスとクエリ応答」.理論計算機科学. 336 (1): 89–124. doi : 10.1016/j.tcs.2004.10.033 . ISSN 0304-3975.
- ^ Kolaitis, Phokion G.; Vardi, Moshe Y. (2000 年 10 月 1 日). 「結合クエリの包含と制約の充足」. Journal of Computer and System Sciences . 61 (2): 302–332. doi : 10.1006/jcss.2000.1713 . ISSN 0022-0000.
- ^ Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian (2005 年 3 月 1 日). 「データ交換: 核心に迫る」. ACM Transactions on Database Systems . 30 (1): 174–210. doi :10.1145/1061318.1061323. ISSN 0362-5915. S2CID 59942308.
- ^ Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew (2005 年 12 月 1日)。「スキーマ マッピングの作成: 二次依存関係が救いの手」。ACM Transactions on Database Systems。30 ( 4): 994–1055。doi : 10.1145 /1114244.1114249。ISSN 0362-5915。S2CID 5768010 。
- ^ Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. (1997). 「2変数1階論理の決定問題について」. The Bulletin of Symbolic Logic . 3 (1): 53–69. doi :10.2307/421196. ISSN 1079-8986. JSTOR 421196. S2CID 14868390.
- ^ 「2005 ACMフェロー」。
- ^ 「AAASフェロー」.
- ^ 「NKUA博士号」.
- ^ 「2020 アロンゾ・チャーチ賞」.
外部リンク
- カリフォルニア大学サンタクルーズ校ホームページ