Allen Emerson (Q92821)

De Wikidata
Aller à la navigation Aller à la recherche
informaticien américain
modifier
Langue Libellé Description Également connu comme
français
Allen Emerson
informaticien américain
    anglais
    E. Allen Emerson
    American computer scientist
    • Ernest Allen Emerson
    • Ernest Allen Emerson II

    Déclarations

    image
    E-allen-emerson.jpg
    946 × 732 ; 462 kio
    0 référence
    prénom
    Allen
    rang dans la série
    2
    0 référence
    Ernest
    rang dans la série
    1
    0 référence
    nom de famille
    Emerson
    0 référence
    élève de
    Edmund M. Clarke
    0 référence
    distinction reçue
    prix Paris-Kanellakis
    date
    1998
    motif de la récompense
    For their invention of symbolic model checking, a method of formally checking system designs, which is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas. (anglais)
    1 référence
    URL de la référence
    http://www.acm.org/announcements/kanellakis99.html

    Identifiants

    identifiant IdRef
    254631320
    0 référence
    identifiant Prabook
    2423730
    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=Q92821&oldid=2094020072 »