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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Victor Vianu canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T472270 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Victor Vianu Context triple: [Journal of the ACM, editorInChief, Victor Vianu]
-
A.
Gheorghe Avramescu
Gheorghe Avramescu was a Romanian general during World War II who played a significant role on the Eastern Front and later in Romania’s switch to the Allied side.
-
B.
Constantin Constantinescu-Claps
Constantin Constantinescu-Claps was a Romanian general best known for commanding Romanian forces on the Eastern Front during World War II, including at the Battle of Stalingrad.
-
C.
Nicolae Ciupercă
Nicolae Ciupercă was a Romanian general who played a prominent role in the Romanian Army during the first half of the 20th century, including in World War II.
-
D.
Nicolae Ceaușescu
Nicolae Ceaușescu was the communist leader of Romania from 1965 until his overthrow and execution in 1989, known for his authoritarian rule, extensive cult of personality, and repressive security apparatus.
-
E.
Ion Antonescu
Ion Antonescu was a Romanian military dictator and Marshal who led Romania as an Axis-aligned state during much of World War II.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Victor Vianu Target entity description: 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.
-
A.
Gheorghe Avramescu
Gheorghe Avramescu was a Romanian general during World War II who played a significant role on the Eastern Front and later in Romania’s switch to the Allied side.
-
B.
Constantin Constantinescu-Claps
Constantin Constantinescu-Claps was a Romanian general best known for commanding Romanian forces on the Eastern Front during World War II, including at the Battle of Stalingrad.
-
C.
Nicolae Ciupercă
Nicolae Ciupercă was a Romanian general who played a prominent role in the Romanian Army during the first half of the 20th century, including in World War II.
-
D.
Nicolae Ceaușescu
Nicolae Ceaușescu was the communist leader of Romania from 1965 until his overthrow and execution in 1989, known for his authoritarian rule, extensive cult of personality, and repressive security apparatus.
-
E.
Ion Antonescu
Ion Antonescu was a Romanian military dictator and Marshal who led Romania as an Axis-aligned state during much of World War II.
- F. None of above. chosen
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 of America
ⓘ
surface form:
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 Special Interest Group
ⓘ
surface form:
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Victor Vianu Description of subject: 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.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.