Виктор Виану
Виктор Виану | |
---|---|
Альма -матер | Университет Южной Калифорнии |
Известен для | Абитебул-Вину Теорема |
Научная карьера | |
Докторский советник | Сеймур Гинзбург |
Виктор Виану - компьютерный ученый, профессор компьютерных наук и техники в Калифорнийском университете в Сан -Диего . [ 1 ] Он занимал должность главного редактора журнала ACM с 2009 по 2015 год. [ 2 ] [ 3 ]
Виану проработал аспирантуру в Университете Южной Калифорнии , получив докторскую степень. в 1983 году под наблюдением Сеймура Гинзбурга ; Он присоединился к факультету UCSD в 1984 году. [ 1 ]
Vianu Основные основы баз данных (с Serge Abiteboul и Richard Hull, Addison-Wesley, 1995)-стандартный учебник для выпускников в теории базы данных . В теории конечной модели и теории вычислительной сложности теорема Abiteboul-Vianu (также опубликованная с помощью Abiteboul, на симпозиуме 1991 года о теории вычислительной теории ), что полиномиальное время равняется PSPACE, если и только тогда, когда логика с фиксированной точкой равна частичной фиксированной точке. На Симпозиуме 2010 года по принципам систем баз данных Виану и его соавторы Дэн Сусиу и Това Мило выиграли награду Альберто О. Мендельзон за свою работу за десять лет до проверки типов на языках трансформации XML . [ 4 ] Виану и его соавтор Люк Сегуфин выиграли вторую награду Альберто О. Мендельзона в 2015 году за их статью 2005 года «Взгляды и запросы: определение и переписывание».
В 2006 году Виану был избран в качестве сотрудника ACM за его «вклад в системы управления базами данных ». [ 5 ]
В 2013 году он был избран членом ААА (Американская ассоциация по развитию науки). Он был избран в Academia Europaea в 2014 году.
В его первой статье, записанной DBLP [ 6 ] (Представлено в MFCS , 1977), Виану признает Соломона Маркуса за руководство. [ 7 ]
Ссылки
[ редактировать ]- ^ Jump up to: а беременный Профиль факультета , UCSD, извлечен 2011-03-21.
- ^ Виану, Виктор (2010). «Jacm в начале нового десятилетия» . Журнал ACM . 57 (3). doi : 10.1145/1706591.1706592 .
- ^ «История | Журнал ACM» . Jacm.acm.org . Архивировано из оригинала 2011-10-26 . Получено 2015-08-12 .
- ^ ACM Pods Alberto O. Mendelzon Test-Treck Award , ACM Sigmod , получен 2011-03-21.
- ^ Цитата наград , сотрудник ACM , ACM, извлечен 2011-03-21.
- ^ «DBLP: Виктор Вину» .
- ^ Виану, Виктор (1977). «Математические основы компьютерной науки 1977». В Груске, Йозеф (ред.). Труды, 6 -й симпозиум, Математические основы компьютерных наук, Татранска Ломника, 5–9 сентября 1977 года . Заметки лекции в информатике. Тол. 53. Springer-Verlag. С. 537–542. doi : 10.1007/3-540-08353-7_177 . ISBN 978-3-540-08353-5 .