Victor Vianu
E59294
Victor Vianu is a computer scientist known for his contributions to database theory and finite model theory, who has also served as editor-in-chief of leading theoretical computer science journals.
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
academic
→
computer scientist → |
| awardReceived |
ACM PODS Test-of-Time Award
→
Alonzo Church Award for Outstanding Contributions to Logic and Computation → |
| countryOfCitizenship |
United States
→
|
| editorOf |
Information and Computation
→
Journal of the ACM → Logical Methods in Computer Science → SIAM Journal on Computing → |
| educatedAt |
Massachusetts Institute of Technology
→
University of Bucharest → |
| employer |
University of California, San Diego
→
|
| fieldOfWork |
database theory
→
finite model theory → theoretical computer science → |
| genre |
scientific publications
→
|
| hasAcademicAdvisor |
Albert R. Meyer
→
|
| hasPublicationType |
book chapters
→
conference papers → journal articles → |
| hasResearchArea |
data-centric process verification
→
databases and logic → finite model theory → |
| hasRole |
editor-in-chief
→
journal editor → professor → researcher → |
| knownFor |
contributions to database theory
→
contributions to finite model theory → work on XML and semi-structured data → work on the theory of database query languages → work on verification of data-centric systems → |
| languageSpoken |
English
→
Romanian → |
| mainInterest |
database theory
→
formal verification → logic in computer science → |
| memberOf |
ACM
→
IEEE Computer Society → |
| notableWork |
research on XML and schema languages
→
research on query languages for relational databases → research on verification of data-aware processes → |
| occupation |
computer scientist
→
university professor → |
| positionHeld |
Professor of Computer Science at UC San Diego
→
|
| workLocation |
San Diego
→
|
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Journal of the ACM
→
|
editorInChief |