Moshe Y. Vardi
Encyclopedia
Moshe Ya'akov Vardi is a Professor of Computer Science
at Rice University
, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, 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 system
s, 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 400 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. He is also the editor-in-chief of Communications of the ACM
.
from January 1994 until June 2002. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. Dr Vardi received his Ph.D. from the Hebrew University of Jerusalem
in 1981.
, a co-winner of the 2005 ACM Paris Kanellakis Theory and Practice Award, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 ACM Presidential Award, the 2010 Distinguished Service Award from the Computing Research Association, and the Institute of Electrical and Electronics Engineers (IEEE) Computer Society's 2011 Harry H. Goode Award.
He holds honorary doctorates from Saarland University
, Germany, and the University of Orleans
, France. Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. He is a Guggenheim Fellow
, as well as a Fellow of the Association of Computing Machinery, the American Association for the Advancement of Science
, and the American Association for Artificial Intelligence
. He was designated Highly Cited Researcher by the Institute for Scientific Information
, and was elected as a member of the US National Academy of Engineering, the European Academy of Sciences
, and the Academia Europea. He was named to the American Academy of Arts and Sciences in 2010. He has also co-chaired the ACM
Task Force on Job Migration
.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at Rice University
Rice University
William Marsh Rice University, commonly referred to as Rice University or Rice, is a private research university located on a heavily wooded campus in Houston, Texas, United States...
, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, 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 system
Multi-agent system
A multi-agent system is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems that are difficult or impossible for an individual agent or a monolithic system to solve...
s, computer-aided verification and reasoning, and teaching logic across the curriculum. He is a renowned expert in model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
, constraint satisfaction and database theory
Complexity of constraint satisfaction
The complexity of constraint satisfaction is the application of computational complexity theory on constraint satisfaction. It has mainly been studied for discriminating between tractable and intractable classes of constraint satisfaction problems on finite domains.Solving a constraint satisfaction...
, common knowledge (logic)
Common knowledge (logic)
Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p, they all know that they all know that they know p, and so on ad infinitum.The concept was first introduced in...
, and theoretical computer science.
Moshe Y. Vardi is the author of over 400 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. He is also the editor-in-chief of Communications of the ACM
Communications of the ACM
Communications of the ACM is the flagship monthly journal of the Association for Computing Machinery . First published in 1957, CACM is sent to all ACM members, currently numbering about 80,000. The articles are intended for readers with backgrounds in all areas of computer science and information...
.
Background
He chaired the Computer Science Department at Rice UniversityRice University
William Marsh Rice University, commonly referred to as Rice University or Rice, is a private research university located on a heavily wooded campus in Houston, Texas, United States...
from January 1994 until June 2002. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. Dr Vardi received his Ph.D. from the Hebrew University of Jerusalem
Hebrew University of Jerusalem
The Hebrew University of Jerusalem ; ; abbreviated HUJI) is Israel's second-oldest university, after the Technion – Israel Institute of Technology. The Hebrew University has three campuses in Jerusalem and one in Rehovot. The world's largest Jewish studies library is located on its Edmond J...
in 1981.
Awards
Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel PrizeGödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
, a co-winner of the 2005 ACM Paris Kanellakis Theory and Practice Award, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 ACM Presidential Award, the 2010 Distinguished Service Award from the Computing Research Association, and the Institute of Electrical and Electronics Engineers (IEEE) Computer Society's 2011 Harry H. Goode Award.
He holds honorary doctorates from Saarland University
Saarland University
Saarland University is a university located in Saarbrücken, the capital of the German state of Saarland, and Homburg. It was founded in 1948 in Homburg in co-operation with France and is organized in 8 faculties that cover all major fields of science...
, Germany, and the University of Orleans
University of Orléans
-History:In 1230, when for a time the doctors of the University of Paris were scattered, a number of the teachers and disciples took refuge in Orléans; when pope Boniface VIII, in 1298, promulgated the sixth book of the Decretals, he appointed the doctors of Bologna and the doctors of Orléans to...
, France. Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. He is a Guggenheim Fellow
Guggenheim Fellowship
Guggenheim Fellowships are American grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts." Each year, the foundation makes...
, as well as a Fellow of the Association of Computing Machinery, the American Association for the Advancement of Science
American Association for the Advancement of Science
The American Association for the Advancement of Science is an international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsibility, and supporting scientific education and science outreach for the...
, and the American Association for Artificial Intelligence
American Association for Artificial Intelligence
The Association for the Advancement of Artificial Intelligence or AAAI is an international, nonprofit, scientific society devoted to advancing the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines...
. He was designated Highly Cited Researcher by the Institute for Scientific Information
Institute for Scientific Information
The Institute for Scientific Information was founded by Eugene Garfield in 1960. It was acquired by Thomson Scientific & Healthcare in 1992, became known as Thomson ISI and now is part of the Healthcare & Science business of the multi-billion dollar Thomson Reuters Corporation.ISI offered...
, and was elected as a member of the US National Academy of Engineering, the European Academy of Sciences
European Academy of Sciences
The European Academy of Sciences has as mission to promote excellence in science and technology and their essential roles in fostering social and economic development and progress. It is registered in and operates under rules and regulations of Belgium. The European Academy of Sciences is an...
, and the Academia Europea. He was named to the American Academy of Arts and Sciences in 2010. He has also co-chaired the ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
Task Force on Job Migration
Job migration
Job migration is a term that has gained widespread use in the recent years and although it means relocation of jobs from one geographical area to another, it has come to symbolize the migration or relocation of jobs to other countries....
.