Moshe Vardi
Moshe Vardi · Technologie & ingénierie
Vardi a été un pionnier de l'application de la logique mathématique à l'informatique, de la théorie des bases de données à la vérification automatisée du matériel et des logiciels.
1954, Haïfa, Israël
Israël · États-Unis (Houston, Rice University)
Vardi a été un pionnier de l'application de la logique mathématique à l'informatique, de la théorie des bases de données à la vérification automatisée du matériel et des logiciels. Né à Haïfa de parents hongrois survivants de la Shoah, il est devenu University Professor à l'université Rice et a reçu les prix Gödel et Knuth. Ses méthodes servent à vérifier la correction de systèmes informatiques réels.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Vardi a été un pionnier de l'application de la logique mathématique à l'informatique, de la théorie des bases de données à la vérification automatisée du matériel et des logiciels.
Source : Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
