About: Edmund M. Clarke

Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University.

Property	Value
dbo:abstract	Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University. (de) Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University. (de)
dbo:birthDate	1945-07-27 (xsd:date)
dbo:birthPlace	dbpedia-de:Virginia dbpedia-de:Newport_News
dbo:individualisedGnd	142488941
dbo:lccn	n/91/023249
dbo:thumbnail	wiki-commons:Special:FilePath/Edmund_Clarke_FLoC_2006.jpg?width=300
dbo:viafId	8050749
dbo:wikiPageExternalLink	http://link.cs.cmu.edu/files/09_summer_link_cmu.pdf http://www.carnegiemellontoday.com/article.asp?aid=573 http://www.cs.cmu.edu/~emc
dbo:wikiPageID	3302830 (xsd:integer)
dbo:wikiPageRevisionID	151749051 (xsd:integer)
prop-de:kurzbeschreibung	US-amerikanischer Informatiker und Turing-Preisträger
prop-de:typ	p
dc:description	US-amerikanischer Informatiker und Turing-Preisträger
dct:subject	category-de:Ehrendoktor_der_Technischen_Universität_Wien category-de:Geboren_1945 category-de:Hochschullehrer_(Carnegie_Mellon_University) category-de:Hochschullehrer_(Harvard_University) category-de:IEEE_Fellow category-de:Informatiker category-de:Mann category-de:Mitglied_der_American_Academy_of_Arts_and_Sciences category-de:Mitglied_der_National_Academy_of_Engineering category-de:Turing-Preisträger category-de:US-Amerikaner category-de:Hochschullehrer_(Duke_University)
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person dul:Agent dul:NaturalPerson wikidata:Q215627 wikidata:Q24229398 wikidata:Q5 dbo:Agent
rdfs:comment	Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University. (de) Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik-Professor an der Carnegie Mellon University. (de)
rdfs:label	Edmund M. Clarke (de) Edmund M. Clarke (de)
owl:sameAs	http://www.viaf.org/viaf/8050749 dbr:Edmund M. Clarke wikidata:Edmund M. Clarke dbpedia-es:Edmund M. Clarke dbpedia-fr:Edmund M. Clarke dbpedia-ja:Edmund M. Clarke dbpedia-nl:Edmund M. Clarke dbpedia-pt:Edmund M. Clarke dbpedia-wikidata:Edmund M. Clarke freebase:Edmund M. Clarke
prov:wasDerivedFrom	wikipedia-de:Edmund_M._Clarke?oldid=151749051
foaf:depiction	wiki-commons:Special:FilePath/Edmund_Clarke_FLoC_2006.jpg
foaf:givenName	Edmund M.
foaf:isPrimaryTopicOf	wikipedia-de:Edmund_M._Clarke
foaf:name	Clarke, Edmund M. (de) Edmund M. Clarke
foaf:nick	Clarke, Edmund Melson Jr.; Clarke, Ed (de) Clarke, Edmund Melson Jr.; Clarke, Ed (de)
foaf:surname	Clarke
is dbo:wikiPageRedirects of	dbpedia-de:Ed_Clarke dbpedia-de:Edmund_Clarke dbpedia-de:Edmund_Melson_Clarke dbpedia-de:Edmund_Melson_Clarke,_Jr.
is foaf:primaryTopic of	wikipedia-de:Edmund_M._Clarke