Clarke, Edmund M. (1945-2020)

Clarke, Edmund M. (1945-2020)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 060781750

URI de l'entité : http://www.idref.fr/060781750/id

Notice de type Personne

Point d'accès autorisé

Clarke, Edmund M. (1945-2020)

Sur le web

Variantes de point d'accès

Clarke, Edmund

[Nom de personne]

Clarke, Edmund Melson

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Etats-Unis d'Amérique

Date de naissance : 27 / 07 / 1945

Date de mort : 22 / 12 / 2020

Genre : Masculin

Notes

Note publique d'information :

Professeur d'informatique, de génie électrique informatique, Carnegie Mellon University, Pittsburgh, Pa. (en 1999)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/8050749

Identifiant Wikidata : Q92819

Identifiant ZBMath : clarke.edmund-melson-jun

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Edmund_M._Clarke

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb16505624q

Identifiant ISNI : 0000000121197648

Source

Internet, http://authorities.loc.gov, 2006-03-06

Information trouvée : dates et fonction

Internet, http://authorities.loc.gov, 2013-11-26

Information trouvée : forme bibliogr. : Clarke, E. M., 1945- ; variante : Clarke, Edmund M., 1945-

Internet, https://www.post-gazette.com/news/obituaries/2020/12/23/Edmund-M-Clarke-obituary-CMU-professor-emeritus-Turing-Award/stories/202012230157, 2021-04-14

Information trouvée : décédé en 2020

Model checking / Edmund M. Clarke, Jr, Orna Grumberg and Doron A. Peled, 1999

Software Reliability Methods/ Doron A. Peled, Foreword by Edmund M. Clarke, 2001

... Références liées : ...