Виктор Виану
Виктор Виану | |
---|---|
Альма-матер | Университет Южной Калифорнии |
Известный | Теорема Абитебуля – Виану |
Научная карьера | |
Докторантура | Сеймур Гинзбург |
Виктор Виану — учёный-компьютерщик, профессор информатики и инженерии Калифорнийского университета в Сан-Диего . [1] С 2009 по 2015 год он занимал должность главного редактора журнала ACM . [2] [3]
Виану учился в аспирантуре Университета Южной Калифорнии , получив степень доктора философии. в 1983 году под руководством Сеймура Гинзбурга ; он поступил на факультет UCSD в 1984 году. [1]
Книга Виану «Основы баз данных» (совместно с Сержем Абитбулем и Ричардом Халлом, Addison-Wesley, 1995) представляет собой стандартный учебник для выпускников по теории баз данных . В теории конечных моделей и теории сложности вычислений теорема Абитебуля -Виану (также опубликованная вместе с Абитебулем на Симпозиуме по теории вычислений 1991 года ) утверждает, что полиномиальное время равно PSPACE тогда и только тогда, когда логика с фиксированной точкой равна частичной логике с фиксированной точкой. На симпозиуме 2010 года по принципам систем баз данных Виану и его соавторы Дэн Сучу и Това Майло получили премию Альберто О. Мендельзона «Испытание временем» за свою работу десятью годами ранее по проверке типов для языков преобразования XML . [4] Виану и его соавтор Люк Сегуфин выиграли вторую награду Альберто О. Мендельзона «Испытание временем» в 2015 году за свою статью 2005 года «Просмотры и запросы: определенность и переписывание».
В 2006 году Виану был избран членом ACM за «вклад в системы управления базами данных ». [5]
В 2013 году он был избран членом AAAS (Американской ассоциации содействия развитию науки). Он был избран членом Европейской академии в 2014 году.
В своей первой статье, записанной DBLP [6] (представлено на MFCS , 1977 г.), Виану благодарит Соломона Маркуса за руководство. [7]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Профиль факультета , UCSD, получено 21 марта 2011 г.
- ^ Виану, Виктор (2010). «JACM в начале нового десятилетия» . Журнал АКМ . 57 (3). дои : 10.1145/1706591.1706592 .
- ^ «История | Журнал АКМ» . jacm.acm.org . Архивировано из оригинала 26 октября 2011 г. Проверено 12 августа 2015 г.
- ^ ACM PODS Премия Альберто О. Мендельзона за испытание временем , ACM SIGMOD , получено 21 марта 2011 г.
- ↑ Ссылка на награду , член ACM , ACM, получено 21 марта 2011 г.
- ^ «DBLP: Виктор Виану» .
- ^ Виану, Виктор (1977). «Математические основы информатики 1977». В Груске, Йозеф (ред.). Труды 6-го симпозиума, Математические основы информатики, Татранска Ломница, 5–9 сентября 1977 г. Конспекты лекций по информатике. Том. 53. Шпрингер-Верлаг. стр. 537–542. дои : 10.1007/3-540-08353-7_177 . ISBN 978-3-540-08353-5 .