Wiktor Wianu

Wiktor Wianu
Alma Mater	Uniwersytet Południowej Kalifornii
Znany z	Twierdzenie Abiteboula-Vianu
Kariera naukowa
Doradca doktorski	Seymoura Ginsburga

Victor Vianu jest informatykiem, profesorem informatyki i inżynierii na Uniwersytecie Kalifornijskim w San Diego . Pełnił funkcję redaktora naczelnego Journal of the ACM od 2009 do 2015 roku.

Vianu ukończył studia podyplomowe na Uniwersytecie Południowej Kalifornii , uzyskując stopień doktora. w 1983 pod kierunkiem Seymoura Ginsburga ; wstąpił na wydział UCSD w 1984 roku.

Książka Vianu Foundations of Databases (z Serge Abiteboulem i Richardem Hullem, Addison-Wesley, 1995) jest standardowym podręcznikiem dla absolwentów teorii baz danych . W teorii modeli skończonych i teorii złożoności obliczeniowej twierdzenie Abiteboula – Vianu (również opublikowane wraz z Abiteboulem na Sympozjum Teorii Informatyki w 1991 r . ) stwierdza, że ​​​​czas wielomianowy równa się PSPACE wtedy i tylko wtedy, gdy logika punktu stałego jest równa częściowej logice punktu stałego. na 2010r Symposium on Principles of Database Systems , Vianu i jego współautorzy Dan Suciu i Tova Milo zdobyli nagrodę Alberto O. Mendelzon Test-of-Time Award za swoją pracę dziesięć lat wcześniej nad sprawdzaniem typów w językach transformacji XML . Vianu i jego współautor Luc Segoufin zdobyli drugą nagrodę Alberto O. Mendelzon Test of Time w 2015 roku za artykuł z 2005 roku „Views and Queries: Determinacy and Rewriting”.

W 2006 Vianu został wybrany na członka ACM za „wkład w systemy zarządzania bazami danych ”.

W 2013 roku został wybrany członkiem AAAS (Amerykańskiego Stowarzyszenia na rzecz Postępu Nauki). W 2014 został wybrany do Academia Europaea.

W swoim pierwszym artykule nagranym przez DBLP (przedstawionym na MFCS , 1977), Vianu zwraca się do Solomona Marcusa o wskazówki.

Linki zewnętrzne

• Strona główna na UCSD