About: dbpedia-fr:Edmund_M.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Edmund_M._Clarke Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Edmund Clarke (pt) Edmund M. Clarke (fr) Edmund M. Clarke (nl) Едмунд Кларк (uk) エドムンド・クラーク (ja) 爱德蒙·克拉克 (zh)
rdfs:comment	Edmund Melson Clarke, Jr. ( 27 juillet 1945 - 22 décembre 2020) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel. Il est titulaire de la chaire (en) en informatique à l'université Carnegie-Mellon. Clarke a été l'un des trois récipiendaires, avec E. Allen Emerson et Joseph Sifakis, du prix Turing 2007, décerné par l'Association for Computing Machinery (ACM). (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_2119_7648 https://commons.wikimedia.org/wiki/Category:Edmund_M._Clarke https://dl.acm.org/author_page.cfm?id=81100393517 https://www.britannica.com/biography/Edmund-Melson-Clarke-Jr https://www.scopus.com/authid/detail.url?authorId=56962714000 https://zbmath.org/authors/?q=ai:clarke.edmund-melson-jun http://genealogy.math.ndsu.nodak.edu/id.php?id=50063 https://scholar.google.com/citations?user=_adL2C8AAAAJ http://snaccooperative.org/ark:/99166/w64n9jck http://aut.nkp.cz/stk2007415785 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=67498
sameAs	dbr:Edmund_M._Clarke dbpedia-commons:Category:Edmund_M._Clarke wikidata:Q92819 dbpedia-ar:إدموند_كلارك http://bn.dbpedia.org/resource/এডমুন্ড_এম._ক্লার্ক dbpedia-ca:Edmund_M._Clarke dbpedia-de:Edmund_M._Clarke dbpedia-es:Edmund_Clarke dbpedia-fa:ادموند_ام_کلارک dbpedia-ja:エドムンド・クラーク dbpedia-ko:에드먼드_M._클라크 http://mg.dbpedia.org/resource/Edmund_M._Clarke dbpedia-nl:Edmund_M._Clarke dbpedia-no:Edmund_M._Clarke dbpedia-pt:Edmund_Clarke dbpedia-ro:Edmund_Clarke dbpedia-ru:Кларк,_Эдмунд_Мельсон dbpedia-simple:Edmund_M._Clarke dbpedia-sk:Edmund_Clarke dbpedia-sr:Едмунд_Кларк dbpedia-tr:Edmund_M._Clarke dbpedia-uk:Едмунд_Кларк dbpedia-zh:爱德蒙·克拉克 http://data.bnf.fr/ark:/12148/cb16505624q#about http://g.co/kg/m/03mgv9q http://www.idref.fr/060781750/id https://d-nb.info/gnd/142488941 http://viaf.org/viaf/8050749 https://dblp.org/pid/c/EdmundMClarke https://id.loc.gov/authorities/names/n91023249 https://data.bibliotheken.nl/doc/thes/p069871493
death place	Pittsburgh
death date	2020-12-22 (xsd:date)
birth place	dbpedia-fr:Newport_News_(Virginie)
Wikipage page ID	7125812 (xsd:integer)
Wikipage revision ID	179796345 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Personnalité_en_méthodes_formelles American Academy of Arts and Sciences National Academy of Engineering dbpedia-fr:Allen_Emerson dbpedia-fr:Allen_Newell Association for Computing Machinery dbpedia-fr:Automate_fini Bachelor of Arts dbpedia-fr:Cambridge_(Massachusetts) category-fr:Docteur_honoris_causa_de_l'université_technique_de_Vienne category-fr:Décès_en_décembre_2020 category-fr:Décès_à_75_ans category-fr:Décès_à_Pittsburgh category-fr:Lauréat_du_prix_Turing category-fr:Membre_de_l'Académie_américaine_des_arts_et_des_sciences category-fr:Naissance_en_juillet_1945 category-fr:Naissance_à_Newport_News_(Virginie) category-fr:Personnalité_américaine_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_Carnegie-Mellon category-fr:Professeur_à_l'université_Duke category-fr:Professeur_à_l'université_Harvard category-fr:Étudiant_de_l'université_Cornell category-fr:Étudiant_de_l'université_Duke category-fr:Étudiant_de_l'université_de_Virginie Charlottesville, Virginia dbpedia-fr:Conception_assistée_par_ordinateur_pour_l'électronique dbpedia-fr:Diagramme_de_décision_binaire dbpedia-fr:Doctorat Durham, North Carolina dbpedia-fr:Démonstration_automatique_de_théorèmes Fellow National Science Foundation dbpedia-fr:IEEE_Computer_Society

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software