Moshe Ya'akov Vardi () is an Israeli theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at

Rice University William Marsh Rice University, commonly referred to as Rice University, is a Private university, private research university in Houston, Houston, Texas, United States. Established in 1912, the university spans 300 acres. Rice University comp ...

, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including

database theory Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems. Theoretical aspects of data management include, among other areas, the foundations of q ...

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 of

multi-agent system A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.H. Pan; M. Zahmatkesh; F. Rekabi-Bana; F. Arvin; J. HuT-STAR: Time-Optimal Swarm Trajectory Planning for Quadroto ...

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 syst ...

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

theoretical computer science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

. Vardi has authored or co-authored over 700 technical papers as well as editing several collections. He has authored the books ''Reasoning About Knowledge'' with

Ronald Fagin Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge. Biography Ron F ...

Joseph Halpern Joseph Yehuda Halpern (born May 29, 1953) is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty. Biography Halpern graduated in 1975 from University of To ...

, and Yoram Moses, and ''Finite Model Theory and Its Applications'' with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx,

Joel Spencer Joel Spencer (born April 20, 1946) is an American mathematician. He is a combinatorialist who has worked on probabilistic methods in combinatorics and on Ramsey theory. He received his doctorate from Harvard University in 1970, under the supervis ...

, Yde Venema, and Scott Weinstein. He is senior editor of

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

, 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 editor-in-chief heads all departments of the organization and is held accoun ...

for a decade.

Education

Vardi was an undergraduate student at

Bar-Ilan University Bar-Ilan University (BIU, , ''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 academic university institution. It has 20,000 ...

and received his

Master of Science A Master of Science (; abbreviated MS, M.S., MSc, M.Sc., SM, S.M., ScM or Sc.M.) is a master's degree. In contrast to the Master of Arts degree, the Master of Science degree is typically granted for studies in sciences, engineering and medici ...

degree from the

Weizmann Institute of Science The Weizmann Institute of Science ( ''Machon Weizmann LeMada'') is a Public university, public research university in Rehovot, Israel, established in 1934, fourteen years before the State of Israel was founded. Unlike other List of Israeli uni ...

. His

PhD A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

was supervised by Catriel Beeri and awarded by the

Hebrew University of Jerusalem The Hebrew University of Jerusalem (HUJI; ) is an Israeli public university, public research university based in Jerusalem. Co-founded by Albert Einstein and Chaim Weizmann in July 1918, the public university officially opened on 1 April 1925. ...

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 study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

and

computation A computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computation are mathematical equation solving and the execution of computer algorithms. Mechanical or electronic devices (or, hist ...

. 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

IBM Research IBM Research is the research and development division for IBM, an American Multinational corporation, multinational information technology company. IBM Research is headquartered at the Thomas J. Watson Research Center in Yorktown Heights, New York ...

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). Postdocs most commonly, but not always, have a temporary acade ...

Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...

. Vardi serves as an editor of several international journals and was formerly a director of the International Federation of Computational Logic Ltd. 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 membe ...

(ACM)

task force A task force (TF) is a unit or formation established to work on a single defined task or activity. Originally introduced by the United States Navy, the term has now caught on for general usage and is a standard part of NATO terminology. Many ...

job migration Offshoring is the relocation of a business process from one country to another—typically an operational process, such as manufacturing, or supporting processes, such as accounting. Usually this refers to a company business, although state gover ...

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 Inter ...

(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 ...

), winner of the

Knuth Prize The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after the American computer scientist Donald E. Knuth. History The Knuth Prize has been awarded since 1996 and includes an award of ...

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 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the Distinguished Services Award from 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 computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is bes ...

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 hono ...

from eight Universities: Vardi IMG 2387

Saarland University Saarland University (, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in six faculties that cover all major ...

, Germany #

University of Orléans The University of 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 In 1230, when for a time the ...

Grenoble Alpes University The (, ''Grenoble Alps University'', abbr. UGA) is a ''grand établissement'' in Grenoble, France. Founded in 1339, it is the third largest university in France with about 60,000 students and over 3,000 researchers. Established as the Univer ...

(UGA) in France #

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

(UFRGS) in Brazil #

University of Liège The University of Liège (), or ULiège, is a major public university of the French Community of Belgium founded in 1817 and based in Liège, Wallonia, Belgium. Its official language is French (language), French. History The university was foun ...

in Belgium #

TU Wien TU Wien () is a public research university in Vienna, Austria. The university's teaching and research are focused on engineering, computer science, and natural sciences. It currently has about 28,100 students (29% women), eight faculties, and ...

in Austria #

University of Edinburgh The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ...

in Scotland #

University of Gothenburg The University of Gothenburg () is a List of universities in Sweden, university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current List of universities in Sweden#Public universities, S ...

in Sweden Vardi is a

Guggenheim Fellow Guggenheim Fellowships are grants that have been awarded annually since by the John Simon Guggenheim Memorial Foundation, endowed by the late Simon and Olga Hirsh Guggenheim. These awards are bestowed upon individuals who have demonstrated d ...

ACM Fellow ACM Fellowship is an award and fellowship that recognises outstanding members of the Association for Computing Machinery (ACM). The title of ACM Fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals ...

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 ...

Fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals in academia, medicine, research, and industry. The exact meaning of the term differs in each field. In learned society, learned or professional society, p ...

of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is a United States–based international nonprofit with the stated mission of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsib ...

and a

Foreign Member of the Royal Society Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted by the Fellows of the Royal Society of London to individuals who have made a "substantial contribution to the improvement of natural science, natural knowledge, incl ...

(ForMemRS). 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 analysis, ...

, and was elected as a member of the US

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

, the

National Academy of Sciences The National Academy of Sciences (NAS) is a United States nonprofit, NGO, 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 ...

. 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 Europe ...

(MAE). He was elected a Fellow of the

American Academy of Arts and Sciences The American Academy of Arts and Sciences (The Academy) 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, and other ...

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, meetings, ...

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

Personal life

Vardi lives with his wife Pamela Geyer in the

Houston Houston ( ) is the List of cities in Texas by population, most populous city in the U.S. state of Texas and in the Southern United States. Located in Southeast Texas near Galveston Bay and the Gulf of Mexico, it is the county seat, seat of ...

area. (As of March 2013, he was living in "

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

", which is a suburb of Houston.) His step-son Aaron Hertzmann is also a

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

at Adobe Research.

References

{{DEFAULTSORT:Vardi, Moshe Y. 1954 births Living people Hebrew University of Jerusalem alumni IBM employees Israeli editors Israeli theoretical computer scientists Israeli science writers Fellows of the Association for the Advancement of Artificial Intelligence 2000 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 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 Yeshivat Kfar HaRoeh alumni