Jump to content

Виктор Виану

(Перенаправление от Виктора Д. Виану )
Виктор Виану
Альма -матер Университет Южной Калифорнии
Известен для Абитебул-Вину Теорема
Научная карьера
Докторский советник Сеймур Гинзбург

Виктор Виану - компьютерный ученый, профессор компьютерных наук и техники в Калифорнийском университете в Сан -Диего . [ 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 ]

  1. ^ Jump up to: а беременный Профиль факультета , UCSD, извлечен 2011-03-21.
  2. ^ Виану, Виктор (2010). «Jacm в начале нового десятилетия» . Журнал ACM . 57 (3). doi : 10.1145/1706591.1706592 .
  3. ^ «История | Журнал ACM» . Jacm.acm.org . Архивировано из оригинала 2011-10-26 . Получено 2015-08-12 .
  4. ^ ACM Pods Alberto O. Mendelzon Test-Treck Award , ACM Sigmod , получен 2011-03-21.
  5. ^ Цитата наград , сотрудник ACM , ACM, извлечен 2011-03-21.
  6. ^ «DBLP: Виктор Вину» .
  7. ^ Виану, Виктор (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 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: cd1136fd7b750cf9158807d855da5c66__1726201440
URL1:https://arc.ask3.ru/arc/aa/cd/66/cd1136fd7b750cf9158807d855da5c66.html
Заголовок, (Title) документа по адресу, URL1:
Victor Vianu - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)