, 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 research university in Houston, Texas. It is on a 300-acre campus near the Houston Museum District and adjacent to the Texas Medical Center. Rice is ranked among the top universities ...

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

Computation , 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 practical disciplines (includi ...

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

s, 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 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 Joseph Yehuda Halpern (born 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 Toronto wi ...

, and

Yoram Moses Yoram Moses ( he, יוֹרָם מוֹזֶס) is a Professor in the Electrical Engineering Department at the Technion - Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, a ...

, and ''Finite Model Theory and Its Applications'' with Erich Grädel,

Phokion G. Kolaitis Phokion G. Kolaitis ACM (born July 4, 1950) is a computer scientist who is currently a Distinguished Research Professor at UC Santa Cruz and a Principal Research Staff Member at the IBM Almaden Research Center. His research interests include pr ...

, Leonid Libkin, Maarten Marx,

Joel Spencer Joel Spencer (born April 20, 1946) is an American mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, da ...

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

, 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 was supervised by Catriel Beeri and awarded by the Hebrew University of Jerusalem 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 premise ...

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

at Stanford University. 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 (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 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 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 U ...

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 European Association for Theoretical Computer Science (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 Saarland University (german: Universität des Saarlandes, ) 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 s ...

, Germany # University of Orléans #

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

in Belgium # TU Wien 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 15 ...

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

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

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

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