Moshe Yaakov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering and Director of the Computer and Information Technology Institute. 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.

PropertyValue
dbpprop:abstract
  • Moshe Yaakov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering and Director of the Computer and Information Technology Institute. 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. He is a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. Moshe Y. Vardi is the author of over 300 technical papers as well as the editor of several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Y. Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Moshe Yaakov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering and Director of the Computer and Information Technology Institute. 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.
rdfs:label
  • Moshe Y. Vardi
owl:sameAs
skos:subject
foaf:page
is dbpprop:quoteProperty of
is dbpprop:redirect of
is owl:sameAs of