ビクター・ヴィアヌ

ビクター・ヴィアヌはコンピュータ科学者であり、カリフォルニア大学サンディエゴ校のコンピュータサイエンスとエンジニアリングの教授です。^[1]彼は2009年から2015年までJournal of the ACMの編集長を務めました。^[2]^[3]

ヴィアヌは南カリフォルニア大学で大学院研究を行い、1983年にシーモア・ギンズバーグの指導の下で博士号を取得し、1984年にUCSDの教員となった。^[1]

ヴィアヌの著書『データベースの基礎』（セルジュ・アビテブール、リチャード・ハルとの共著、アディソン・ウェズリー、1995年）は、データベース理論の標準的な大学院教科書である。有限モデル理論と計算複雑性理論では、アビテブール・ヴィアヌの定理（これもアビテブールと共著、1991年計算理論シンポジウムで発表）は、多項式時間がPSPACEに等しいのは、固定小数点論理が部分固定小数点論理に等しい場合のみであると述べている。2010年データベースシステムの原理シンポジウムで、ヴィアヌと共著者のダン・スシウ、トヴァ・ミロは、 10年前のXML変換言語の型チェックに関する研究でアルベルト・O・メンデルゾン・テスト・オブ・タイム賞を受賞した。^[4] ヴィアヌと共著者のリュック・セグフィンは、2005年の論文「ビューとクエリ：決定性と書き換え」で、2015年に2度目のアルベルト・O・メンデルゾン・テスト・オブ・タイム賞を受賞した。

2006年、ヴィアヌは「データベース管理システムへの貢献」によりACMのフェローに選出された。^[5]

2013年、 AAAS（アメリカ科学振興協会）フェローに選出。2014年にはAcademia Europaeaに選出。

DBLP ^[6]に記録された彼の最初の論文（1977年のMFCSで発表）の中で、ヴィアヌはソロモン・マーカスに指導を受けたことを感謝している。^[7]

参考文献

^ ab 教員プロフィール、UCSD、2011年3月21日閲覧。
^ Vianu, Victor (2010). 「JACM、新たな10年の始まり」Journal of the ACM . 57 (3). doi : 10.1145/1706591.1706592 .
^ 「History | Journal of the ACM」。jacm.acm.org。2011年10月26日時点のオリジナルよりアーカイブ。2015年8月12日閲覧。
^ ACM PODS Alberto O. Mendelzon Test-of-Time Award、ACM SIGMOD、2011年3月21日閲覧。
^ 受賞の辞、ACMフェロー、ACM、2011年3月21日閲覧。
^ 「DBLP: Victor Vianu」.
^ Vianu, Victor (1977)。「コンピュータサイエンスの数学的基礎 1977」。Gruska, Jozef (編)。議事録、第 6 回シンポジウム、コンピュータサイエンスの数学的基礎、Tatranská Lomnica、1977 年 9 月 5 ～ 9 日。コンピュータサイエンスの講義ノート。第 53 巻。Springer-Verlag。pp. 537 ～ 542。doi : 10.1007/3-540-08353-7_177。ISBN 978-3-540-08353-5。