Question: At which institute was this scientist and mathematician who developed V-statistic a professor?
Sentence (from "Moshe Vardi"): His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum.
Relevant evidence: No