Moshe Vardi

Moshe Vardi
Moshe Ya'akov Vardi
Image illustrative de l'article Moshe Vardi
Naissance
Domicile États-Unis
Nationalité israélienne
Champs informatique théorique, logique, intelligence artificielle, bases de données
Institution Université Rice
Diplômé de Université hébraïque de Jérusalem
Distinctions Prix Gödel, Prix Paris Kanellakis...
modifier Consultez la documentation du modèle

Moshe Ya'akov Vardi (hébreu : משה יעקב ורדי) est un professeur d'informatique à l'Université Rice, aux États-Unis. Il est titulaire de la chaire Karen Ostrum George en ingénierie informatique, Distinguished Service Professor[1] et directeur de l'institut d'informatique et des technologies de l'information. Ses centres d'intérêt concernent principalement l'application de la logique à l'informatique, en particulier la théorie des bases de données, la théorie des modèles finis, la modélisation de la connaissance dans les systèmes multi-agents, la vérification et le raisonnement assistés par ordinateur et l'enseignement de la logique. Moshe Vardi est un expert renommé en model checking, en satisfaction de contraintes en théorie des bases de données, en logique de la connaissance commune et en informatique théorique en général.

Moshe Vardi est l'auteur de plus de 400 articles scientifiques et techniques[2] et l'éditeur de plusieurs collections. Il a écrit les ouvrages Reasoning about Knowledge (avec Ronald Fagin, Joseph Y. Halpern et Yoram Moses) et Finite Model Theory and its Applications (avec Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema et Scott Weinstein). Il est également l'éditeur en chef de la revue Communications of the ACM.

Sommaire

Parcours professionnel

Moshe Vardi a reçu son doctorat en informatique à l'Université hébraïque de Jérusalem en 1981. Il a travaillé pour IBM, au centre de recherche d'Almaden en Californie. En 1993, il rejoint l'Université de Rice, dont il dirige le département d'informatique de janvier 1994 à juin 2002.

Il a co-dirigé la task force de l'Association for Computing Machinery sur la job migration.

Récompenses

Vardi est récipiendaire de trois IBM Outstanding Innovation Awards, co-récipiendaire du Prix Gödel en 2000, du Prix Paris Kanellakis en 2005 et du LICS Tes-of-Time award en 2006. Il a également reçu le ACM Presidential Award en 2008, le Distinguished Service Award de la Computing Research Association en 2010 et le prix Harry H. Goode de la société informatique de l'Institute of Electrical and Electronics Engineers en 2011.

Il est docteur honoris causa des universités de la Sarre et d'Orléans. Moshe VArdi est l'éditeur de plusieurs revues internationales et le président de l'International Federation of Computational Logicians.

Il a les titres de fellow de la Fondation Guggenheim, de l'Association for Computing Machinery, de l'American Association for the Advancement of Science et de l'American Association for Artificial Intelligence. Il a été reconnu Highly Cited Researcher par l'Institute for Scientific Information. Il a été élu membre de l'Académie nationale d'ingénierie américaine, de l'Academia Europaea et de l'Académie Européenne des Sciences. Il est nommé à l'American Academy of Arts and Sciences en 2010[3].

Références

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Moshe Vardi de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • 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… …   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

  • 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

  • Moshe Gidron — Born 25 May 1925 Died 14 November 2009 Allegiance …   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

  • Herzl Rosenblum — Dr Herzl Rosenblum ( he. הרצל רוזנבלום, also known as Herzl Vardi, born 14 August 1903, died 1 February 1991) was an Israeli journalist and politician. A signatory of the Israeli declaration of independence, he worked as editor of Yedioth… …   Wikipedia

  • Prix Godel — Prix Gödel Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et… …   Wikipédia en Français

  • Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… …   Wikipédia en Français

  • Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …   Wikipedia

  • MOZES — MOZES, family of Israeli press magnates. The Mozes family played a major role in the Israeli press in the second half of the 20th century. From its flagship daily newspaper, Yedioth Aharonoth, through its subsidiary enterprises including a chain… …   Encyclopedia of Judaism

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”