Moshe Y. Vardi
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) 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 systems, 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.
He chaired the Computer Science Department at Rice University 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.
Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel Prize, 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.
- Moshe Y. Vardi home page
- Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences
- Moshe Y. Vardi bibliography in the DBLP database
Gödel Prize laureates
Babai / Goldwasser / Micali / Moran / Rackoff (1993) · Håstad (1994) · Immerman / Szelepcsényi (1995) · Jerrum / Sinclair (1996) · Halpern / Moses (1997) · Toda (1998) · Shor (1999) · Vardi / Wolper (2000) · Arora / Feige / Goldwasser / Lund / Lovász / Motwani / Safra / Sudan / Szegedy (2001) · Sénizergues (2002) · Freund / Schapire (2003) · Herlihy / Saks / Shavit / Zaharoglou (2004) · Alon / Matias / Szegedy (2005) · Agrawal / Kayal / Saxena (2006) · Razborov / Rudich (2007) · Teng / Spielman (2008) · Reingold / Vadhan / Wigderson (2009) · Arora / Mitchell (2010) · Håstad (2011)
Paris Kanellakis Award laureates
Adleman / Diffie / Hellman / Merkle / Rivest / Shamir (1996) · Lempel / Ziv (1997) · Bryant / Clarke / Emerson / McMillan (1998) · Sleator / Tarjan (1999) · Karmarkar (2000) · Myers (2001) · Franaszek (2002) · Miller / Rabin / Solovay / Strassen (2003) · Freund / Schapire (2004) · Holzmann / Kurshan / Vardi / Wolper (2005) · Brayton (2006) · Buchberger (2007) · Cortes / Vapnik (2008) · Bellare / Rogaway (2009)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Moshe Vardi — Moshe Ya akov Vardi Naissance Domicile États Unis Nationalité israélienne Champs informatique théorique, logique … Wikipédia en Français
Vardi — ist der Name von: Marta Lepp, estnische Schriftstellerin, Künstlername Sophia Vardi Arie Vardi, israelischer Pianist Ilan Vardi, kanadischer Mathematiker Moshe Y. Vardi, israelischer Informatiker Yossi Vardi (*1942), israelischer High Tech… … Deutsch Wikipedia
Vardi — The following people are called Vardi:* Arie Vardi, an Israeli classical pianist * Moshe Y. Vardi, an Israeli computer scientist * Yossi Vardi, an Israeli tech entrepreneur … Wikipedia
VARDI, MOSHE — (1938– ), Israeli journalist. Vardi was born in Tel Aviv, the son of Dr. herzl rosenblum , editor of yedioth aharonoth . He studied international relations in London, and in 1962 was appointed London correspondent of Ha Boker. In 1965 he joined… … Encyclopedia of Judaism
Moshe Gidron — Born 25 May 1925 Died 14 November 2009 Allegiance … Wikipedia
List of Israelis — This is a list of prominent Israelis (including Arab citizens of Israel).Historical figuresPoliticians* Chaim Weizmann first President of Israel (1949 52) * David Ben Gurion first Prime Minister of Israel (1948 54, 1955 63) * Moshe Sharett prime… … Wikipedia
Conjunctive query — In database theory, a conjunctive query is a restricted form of first order queries. A large part of queries issued on relational databases can be written as conjunctive queries, and large parts of other first order queries can be written as… … Wikipedia
Премия Гёделя — (англ. Gödel Prize) премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… … Википедия
Knowledge representation — is an area in artificial intelligence that is concerned with how to formally think , that is, how to use a symbol system to represent a domain of discourse that which can be talked about, along with functions that may or may not be within the… … Wikipedia
Communications of the ACM — Editor in Chief Moshe Y. Vardi Categories Computer Science Frequency monthly First issue 1957 Company Association for Computing Machinery … Wikipedia