Moshe Vardi (Q1585964)

De Wikidata
Aller à la navigation Aller à la recherche
informaticien américain
  • Moshe Y. Vardi
modifier
Langue Libellé Description Également connu comme
français
Moshe Vardi
informaticien américain
  • Moshe Y. Vardi
anglais
Moshe Vardi
American computer scientist
  • Moshe Ya'akov Vardi
  • Moshe Y. Vardi
  • Moshe Y Vardi

Déclarations

image
Moshe Vardi.jpg
2 720 × 4 080 ; 5,7 Mio
0 référence
distinction reçue
prix Paris-Kanellakis
date
2005
motif de la récompense
For the development of automata-theoretic techniques for reactive-systems verification, and the practical realization of powerful formal-verification tools based on these techniques. (anglais)
1 référence
URL de la référence
https://www.cs.rice.edu/~vardi/kanellakis.html
date de consultation
24 décembre 2022
ACM Fellow anglais
date
2000
motif de la récompense
For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (anglais)
1 référence
URL de la référence
https://awards.acm.org/award-recipients/vardi_9543503
membre honoraire de l'American Mathematical Society
date
2019
date d'annonce publique
1 novembre 2018
motif de la récompense
For contributions to the development and use of mathematical logic in computer science. (anglais)
2 références
URL de la référence
http://www.ams.org/fellows_by_year.cgi?year=2019
date de consultation
24 novembre 2022
URL de la référence
http://www.ams.org/news?news_id=4678
date de consultation
24 novembre 2022
membre de l'AAAS
0 référence
membre honoraire de la Society for Industrial and Applied Mathematics
date
2015
sous le nom
Moshe Y. Vardi
motif de la récompense
For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. (anglais)
1 référence
URL de la référence
https://www.siam.org/prizes-recognition/fellows-program/all-siam-fellows?page=3
date de consultation
17 juillet 2021
nombre d'Erdős
3
0 référence
nombre d'abonnés d'un média social
7 983
identifiant numérique d'un compte X
14538236
date
2 janvier 2021
0 référence
7 155
identifiant numérique d'un compte X
14538236
date
1 mai 2020
0 référence
10 940
identifiant numérique d'un compte X
14538236
date
1 mars 2022
0 référence
12 469
identifiant numérique d'un compte X
14538236
date
7 février 2023
0 référence
991
adresse Mastodon
vardi@fediscience.org
date
12 février 2024
0 référence
994
adresse Mastodon
vardi@fediscience.org
date
16 mars 2024
11 avril 2024
0 référence
catégorie Commons
Moshe Vardi
0 référence

Identifiants

identifiant Prabook
538268
0 référence
 
modifier
modifier
    modifier
      modifier
        modifier
          modifier
            modifier
              modifier
                modifier
                Récupérée de « https://www.wikidata.org/w/index.php?title=Q1585964&oldid=2147303952 »