Виктор Виану

Виктор Виану — профессор компьютерных наук и инженерии в Калифорнийском университете в Сан-Диего.
С 2009 по 2015 год Виану был главным редактором журнала ACM.
Книга Виану «Основы баз данных» является стандартным учебником по теории баз данных.
Теорема Абитебуля-Виану утверждает, что полиномиальное время равно PSPACE тогда и только тогда, когда логика с фиксированной точкой равна частичной логике с фиксированной точкой.
Виану и его соавторы получили премии Mendelzon Test-of-Time Award за работу по проверке типов для языков преобразования XML и за статью о детерминированности и переписывании.
В 2006 году Виану был избран членом ACM, а в 2013 году — членом AAAS и Европейской академии наук.

Полный текст статьи:

Виктор Виану — Википедия