Victor Vianu este un informatician româno-american, profesor de informatică și inginerie la Universitatea din California, San Diego (UCSD). A fost redactor-șef al revistei Journal of the ACM din 2009 până în 2015.
Vianu a absolvit Facultatea de Matematică a Universității din București în anul 1977. A obținut doctoratul în 1983 la Universitatea Californiei de Sud, sub îndrumarea lui Seymour Ginsburg și s-a alăturat corpului didactic UCSD în 1984.
Cartea lui Vianu , „Fundamentele bazelor de date” (scrisă împreună cu Serge Abiteboul și Richard Hull), este un manual standard pentru studii postuniversitare în teoria bazelor de date . În teoria modelelor finite și teoria complexității computaționale, teorema Abiteboul-Vianu (publicată și împreună cu Abiteboul, la Simpozionul privind Teoria Calculului din 1991) afirmă că timpul polinomial este egal cu PSPACE dacă și numai dacă logica punctului fix este egală cu logica punctului fix parțial. La Simpozionul din 2010 privind Principiile Sistemelor de Baze de Date, Vianu și coautorii săi , Dan Suciu și Tova Milo, au câștigat premiul Alberto O. Mendelzon Test-of-Time pentru munca lor de acum zece ani privind verificarea tipurilor pentru limbajele de transformare XML . Vianu și coautorul său, Luc Segoufin, au câștigat un al doilea premiu Alberto O. Mendelzon Test-of-Time în 2015, pentru articolul lor din 2005 „Vizualizări și interogări: Determinare și rescriere”.
În 2006, Vianu a fost ales membru al ACM pentru „contribuțiile sale la sistemele de gestionare a bazelor de date ”.
În 2013, a fost ales membru al AAAS (Asociația Americană pentru Avansarea Științei). A fost ales membru al Academia Europaea în 2014.
În prima sa lucrare înregistrată de DBLP(prezentată la MFCS, 1977), Vianu îi mulțumește lui Solomon Marcus pentru îndrumare.
Referințe
Linkuri externe
Pagina principală la UCSD
Categorie:Absolvenți ai University of Southern California Categorie:Informaticieni americani Categorie:Oameni în viață Categorie:Anul nașterii lipsă (oameni în viață)