ビクター・ヴィアヌ

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

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

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

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

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

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

参考文献

^ ^a ^b Faculty profile、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 (編). Proceedings, 6th Symposium, Mathematical Foundations of Computer Science, Tatranská Lomnica, September 5–9, 1977 . Lecture Notes in Computer Science. Vol. 53. Springer-Verlag. pp. 537– 542. doi : 10.1007/3-540-08353-7_177 . ISBN 978-3-540-08353-5。