Victor Vianu is a computer scientist, a professor of computer science and engineering at the

University of California, San Diego The University of California, San Diego (UC San Diego or colloquially, UCSD) is a public land-grant research university in La Jolla, California. Established in 1960 near the pre-existing Scripps Institution of Oceanography, UC San Diego is ...

.Faculty profile
UCSD, retrieved 2011-03-21. He served as editor-in-chief of the ''

Journal of the ACM The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief An editor-in-c ...

'' from 2009 to 2015. Vianu did his graduate studies at the

University of Southern California , mottoeng = "Let whoever earns the palm bear it" , religious_affiliation = Nonsectarian—historically Methodist , established = , accreditation = WSCUC , type = Private research university , academic_affiliations = , endowment = $8. ...

, earning his Ph.D. in 1983 under the supervision of

Seymour Ginsburg Seymour Ginsburg (December 12, 1927 – December 5, 2004) was an American pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general. His work was influential in distinguishing theor ...

; he joined the UCSD faculty in 1984. Vianu's book ''Foundations of Databases'' (with Serge Abiteboul and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in

database theory Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems. Theoretical aspects of data management include, among other areas, the foundations of qu ...

. In

finite model theory Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). Finite model theory is a restriction of model theory to inte ...

and

computational complexity theory In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved ...

, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991

Symposium on Theory of Computing The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for ...

) states that

polynomial time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...

equals

PSPACE In computational complexity theory, PSPACE is the set of all decision problems that can be solved by a Turing machine using a polynomial amount of space. Formal definition If we denote by SPACE(''t''(''n'')), the set of all problems that can b ...

if and only if fixed point logic equals partial fixed point logic. At the 2010

Symposium on Principles of Database Systems The ACM Symposium on Principles of Database Systems (PODS) is an international research conference on database theory, and has been held yearly since 1982. It is sponsored by three Association for Computing Machinery The Association for Comp ...

, Vianu and his co-authors Dan Suciu and

Tova Milo Tova Milo is a full Professor of Computer Science at Tel Aviv University and the Dean of the Faculty of Exact Sciences. She served as the head of the Computer Science Department from 2011 to 2014. Milo is the head of the data management group i ...

won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on

type checking In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program ...

for

XML transformation language An XML transformation language is a programming language designed specifically to transform an ''input'' XML document into an ''output'' document which satisfies some specific goal. There are two special cases of transformation: * XML to XML: ...

s. Vianu and his co-author Luc Segoufin won a second Alberto O. Mendelzon Test-of-Time award in 2015, for their 2005 article "Views and Queries: Determinacy and Rewriting." In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to

database management system In computing, a database is an organized collection of data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The design of databases span ...

s". In 2013, he was elected Fellow of the AAAS (American Association for the Advancement of Science). He was elected to Academia Europaea in 2014. In his first paper recorded by

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since No ...

(presented at MFCS, 1977), Vianu acknowledges

Solomon Marcus Solomon Marcus (; 1 March 1925 – 17 March 2016) was a Romanian mathematician, member of the Mathematical Section of the Romanian Academy (full member from 2001) and emeritus professor of the University of Bucharest's Faculty of Mathematics. ...

for guidance.

References

External links

Home page at UCSD
{{DEFAULTSORT:Vianu, Victor Year of birth missing (living people) Living people Computer scientists Database researchers University of Southern California alumni University of California, San Diego faculty Fellows of the Association for Computing Machinery Fellows of the American Association for the Advancement of Science