Moshe Vardi
Israeli mathematicien and computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Moshe Vardi?
Summarize this article for a 10 year old
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS[5] is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States.[6][3][7] and a faculty advisor for the Ken Kennedy Institute.[8] His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.[9][10]
Moshe Vardi | |
---|---|
Born | 1954 (age 69–70) Israel |
Alma mater | |
Awards |
|
Scientific career | |
Fields | Logic Computation[3] |
Institutions | Rice University IBM Research Stanford University |
Thesis | The Implication Problem for Data Dependencies in the Relational Model (1981) |
Doctoral advisor | Catriel Beeri[4] |
Doctoral students | Kristin Yvonne Rozier |
Website | www |
Vardi has authored or co-authored over 700 technical papers[3] as well as editing several collections. He has authored the books Reasoning About Knowledge[11] with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications[12] with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is senior editor of Communications of the ACM, after serving as its editor-in-chief for a decade.[13]