, honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces =

Rice University William Marsh Rice University (Rice University) is a Private university, private research university in Houston, Houston, Texas. It is on a 300-acre campus near the Houston Museum District and adjacent to the Texas Medical Center. Rice is ranke ...

IBM Research IBM Research is the research and development division for IBM, an American multinational information technology company headquartered in Armonk, New York, with operations in over 170 countries. IBM Research is the largest industrial research or ...

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is conside ...

, alma_mater = , thesis_title = The Implication Problem for Data Dependencies in the Relational Model , thesis_url = , thesis_year = 1981 , doctoral_advisor = Catriel Beeri , doctoral_students = Kristin Yvonne Rozier , fields =

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...

Computation Computation is any type of arithmetic or non-arithmetic calculation that follows a well-defined model (e.g., an algorithm). Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. An esp ...

, awards = , website = Moshe Ya'akov Vardi ( he, משה יעקב ורדי) is an Israeli mathematician and computer scientist. He is a Professor of

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory,

finite model theory Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). Finite model theory is a restriction of model theory to inte ...

, knowledge in

multi-agent system A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.Hu, J.; Bhowmick, P.; Jang, I.; Arvin, F.; Lanzon, A.,A Decentralized Cluster Formation Containment Framework fo ...

s, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software system ...

, constraint satisfaction and database theory, common knowledge (logic), and

theoretical computer science computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the ...

. Vardi has authored or co-authored over 600 technical papers as well as editing several collections. He has authored the books ''Reasoning About Knowledge'' with Ronald Fagin, Joseph Halpern, and Yoram Moses, and ''Finite Model Theory and Its Applications'' with Erich Grädel, Phokion G. Kolaitis,

Leonid Libkin Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science. Libkin is a professor at the University of Edinburgh, where he is chair of Foundations of Data Managem ...

, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is senior editor of

Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers wi ...

, after serving as its

editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

for a decade.

Education

Vardi was an undergraduate student at

Bar-Ilan University Bar-Ilan University (BIU, he, אוניברסיטת בר-אילן, ''Universitat Bar-Ilan'') is a public research university in the Tel Aviv District city of Ramat Gan, Israel. Established in 1955, Bar Ilan is Israel's second-largest academi ...

and received his

Master of Science A Master of Science ( la, Magisterii Scientiae; abbreviated MS, M.S., MSc, M.Sc., SM, S.M., ScM or Sc.M.) is a master's degree in the field of science awarded by universities in many countries or a person holding such a degree. In contrast t ...

degree from the

Weizmann Institute of Science The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli unive ...

. His

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * '' Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. al ...

was supervised by Catriel Beeri and awarded by the

Hebrew University of Jerusalem The Hebrew University of Jerusalem (HUJI; he, הַאוּנִיבֶרְסִיטָה הַעִבְרִית בִּירוּשָׁלַיִם) is a public research university based in Jerusalem, Israel. Co-founded by Albert Einstein and Dr. Chaim Weiz ...

in 1981.

Career and research

Vardi's research interests are in

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...

and

computation Computation is any type of arithmetic or non-arithmetic calculation that follows a well-defined model (e.g., an algorithm). Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. An esp ...

. He served as chair of the computer science department at

from January 1994 until June 2002. Prior to joining Rice in 1993, he worked at

and was also a

postdoctoral researcher A postdoctoral fellow, postdoctoral researcher, or simply postdoc, is a person professionally conducting research after the completion of their doctoral studies (typically a PhD). The ultimate goal of a postdoctoral research position is to pu ...

. Vardi serves as an editor of several international journals and the president of the International Federation of Computational Logicians. He has also co-chaired the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

(ACM) task force on job migration.

Awards and honors

Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000

Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interes ...

(for work on

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

with

finite automata A finite-state machine (FSM) or finite-state automaton (FSA, plural: ''automata''), finite automaton, or simply a state machine, is a mathematical model of computation. It is an abstract machine that can be in exactly one of a finite number o ...

), winner of the Knuth Prize in 2021, a co-winner of the

Paris Kanellakis Award The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing". It wa ...

in 2005, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 and 2017 ACM Presidential Award, the 2008 Blaise Pascal Medal in computational science by the European Academy of Sciences, the 2010 Distinguished Service Award from the Computing Research Association, the Institute of Electrical and Electronics Engineers (IEEE) Computer Society's 2011

Harry H. Goode Memorial Award The Harry H. Goode Memorial Award is an IEEE Computer Society annual awards in honor of Harry H. Goode for achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outsta ...

, the 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the

European Association for Theoretical Computer Science The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

(EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) jointly sponsored

Alonzo Church Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logic and the foundations of theoretical computer scien ...

Award for Outstanding Contributions to Logic and Computation (with Tomas Feder). Vardi also holds

honorary doctorates An honorary degree is an academic degree for which a university (or other degree-awarding institution) has waived all of the usual requirements. It is also known by the Latin phrases ''honoris causa'' ("for the sake of the honour") or '' ad hon ...

from eight Universities: Vardi IMG 2387

# Saarland University, Germany #

University of Orléans The University of Orléans (french: Université d'Orléans) is a French university, in the Academy of Orléans and Tours. As of July 2015 it is a member of the regional university association Leonardo da Vinci consolidated University. History ...

Grenoble Alpes University The Université Grenoble Alpes (UGA, French: meaning "''Grenoble Alps University''") is a public research university in Grenoble, France. Founded in 1339, it is the third largest university in France with about 60,000 students and over 3,000 resea ...

(UGA) in France #

Federal University of Rio Grande do Sul The Federal University of Rio Grande do Sul ( pt, Universidade Federal do Rio Grande do Sul, UFRGS) is a Brazilian public federal research university based in Porto Alegre, Rio Grande do Sul. UFRGS is among the largest and highest-rated univers ...

(UFRGS) in Brazil #

University of Liège The University of Liège (french: Université de Liège), or ULiège, is a major public university of the French Community of Belgium based in Liège, Wallonia, Belgium. Its official language is French. As of 2020, ULiège is ranked in the ...

in Belgium #

TU Wien TU Wien (TUW; german: Technische Universität Wien; still known in English as the Vienna University of Technology from 1975–2014) is one of the major universities in Vienna, Austria. The university finds high international and domestic recogn ...

in Austria #

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 1 ...

in Scotland #

University of Gothenburg The University of Gothenburg ( sv, Göteborgs universitet) is a university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current Swedish universities and with 37,000 students and 6000 st ...

in Sweden Vardi is a

Guggenheim Fellow Guggenheim Fellowships are grants that have been awarded annually since by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the ar ...

, ACM Fellow,

AAAI Fellow Fellowship of the Association for the Advancement of Artificial Intelligence (abbreviated as AAAI Fellow or FAAAI) is an award granted to individuals that the Association for the Advancement of Artificial Intelligence (AAAI), judged to have made ...

and a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific respons ...

. He was designated a highly cited researcher by the

Institute for Scientific Information The Institute for Scientific Information (ISI) was an academic publishing service, founded by Eugene Garfield in Philadelphia in 1956. ISI offered scientometric and bibliographic database services. Its specialty was citation indexing and analysi ...

, and was elected as a member of the US

National Academy of Engineering The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization. The National Academy of Engineering is part of the National Academies of Sciences, Engineering, and Medicine, along with the National Academy of ...

, the

National Academy of Sciences The National Academy of Sciences (NAS) is a United States nonprofit, non-governmental organization. NAS is part of the National Academies of Sciences, Engineering, and Medicine, along with the National Academy of Engineering (NAE) and the Nat ...

, the European Academy of Sciences, and the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

(MAE). He was elected a Fellow of the

American Academy of Arts and Sciences The American Academy of Arts and Sciences (abbreviation: AAA&S) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, a ...

in 2010. He was included in the 2019 class of fellows of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meeting ...

"for contributions to the development and use of mathematical logic in computer science".

Personal life

Vardi lives with his wife Pamela Geyer in

Bellaire, Texas Bellaire is a city in southwest Harris County, Texas, United States, within the metropolitan area.. Retrieved on January 24, 2010. As of the 2020 U.S. census, the city population was 17,202. It is surrounded by the cities of Houston and West ...

. His step-son Aaron Hertzmann is also a

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (a ...

at Adobe Research.

References

{{DEFAULTSORT:Vardi, Moshe Y. 1954 births Living people Hebrew University of Jerusalem alumni IBM employees Israeli computer scientists Israeli editors Israeli mathematicians Israeli science writers Fellows of the Association for the Advancement of Artificial Intelligence Fellows of the Association for Computing Machinery Fellows of the American Association for the Advancement of Science Fellows of the American Mathematical Society Formal methods people Gödel Prize laureates Knuth Prize laureates Mathematical logicians Members of Academia Europaea Members of the United States National Academy of Engineering Members of the United States National Academy of Sciences IBM Research computer scientists People from Haifa Rice University faculty