Виктор Виану - Википедия - Victor Vianu

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

Виктор Виану специалист по информатике, профессор информатики и инженерии в Калифорнийский университет в Сан-Диего.[1] Он был главным редактором Журнал ACM с 2009 по 2015 гг.[2][3]

Виану учился в аспирантуре Университет Южной Калифорнии, получив докторскую степень. в 1983 г. под руководством Сеймур Гинзбург; он поступил на факультет UCSD в 1984 году.[1]

Книга Виану Основы баз данных (с Серж Абитебул и Ричард Халл, Addison-Wesley, 1995) является стандартным учебником для выпускников теория баз данных. В теория конечных моделей и теория сложности вычислений, то Теорема Абитебула – Виану (также опубликовано с Abiteboul в 1991 г. Симпозиум по теории вычислений ) утверждает, что полиномиальное время равно PSPACE если и только если логика с фиксированной точкой равняется частичной логике с фиксированной точкой. В 2010 году Симпозиум по принципам систем баз данных, Виану и его соавторы Дэн Сучиу и Това Мило получил премию Альберто О. Мендельзона Test-of-Time за свою работу за десять лет до проверка типа за Языки преобразования XML.[4] Виану и его соавтор Люк Сегуфин выиграли вторую премию Альберто О. Мендельзона Test-of-Time в 2015 году за свою статью 2005 года «Взгляды и запросы: определение и переписывание».

В 2006 году Виану был избран членом ACM за его «вклад в системы управления базами данных ".[5]

В 2013 году он был избран членом AAAS (Американской ассоциации содействия развитию науки). Он был избран в Academia Europaea в 2014 году.

В своей первой статье, записанной DBLP[6] (представлен на MFCS, 1977), признает Виану Соломон Маркус для руководства.[7]

Рекомендации

  1. ^ а б Профиль факультета, UCSD, получено 21 марта 2011 г.
  2. ^ Виану, Виктор (2010). «JACM в начале нового десятилетия». Журнал ACM. 57 (3). Дои:10.1145/1706591.1706592.
  3. ^ "История | Журнал ACM". jacm.acm.org. Архивировано из оригинал на 2011-10-26. Получено 2015-08-12.
  4. ^ ACM PODS Премия Альберто О. Мендельзона Test-of-Time, ACM SIGMOD, получено 21 марта 2011 г.
  5. ^ Член ACM Ссылка на награду, ACM, получено 21 марта 2011 г.
  6. ^ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vianu:Victor.html
  7. ^ Виану, Виктор (1977). «Метрическое пространство языков Боднарчука и топология учебного пространства». В Груске, Йозеф (ред.). Труды 6-го симпозиума, Математические основы компьютерных наук, Татранска Ломница, 5–9 сентября 1977 г.. Конспект лекций по информатике. 53. Springer-Verlag. С. 537–542. Дои:10.1007/3-540-08353-7_177.

внешняя ссылка