Edmund M. Clarke - CaLiGraph

Property	Value
rdf:type	Person from Newport News, Virginia Formal methods person owl:NamedIndividual 1945 birth 2020 death American computer scientist Carnegie Mellon University person Cornell University alumnus Duke University alumnus Duke University person Fellow of the American Academy of Arts and Sciences Fellow of the Association for Computing Machinery Member of the National Academy of Engineering (Computer science) Member of the United States National Academy of Engineering Death from the COVID-19 pandemic in Pennsylvania Pioneer in computer science University of Virginia people Scientist from Virginia
rdfs:label	Edmund M. Clarke
owl:sameAs	dbr:Edmund_M._Clarke
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Scientists_from_Virginia http://en.wikipedia.org/wiki/2020_in_science http://en.wikipedia.org/wiki/Category:People_from_Newport_News,_Virginia http://en.wikipedia.org/wiki/Category:Deaths_from_the_COVID-19_pandemic_in_Pennsylvania http://en.wikipedia.org/wiki/Category:1945_births http://en.wikipedia.org/wiki/Category:2020_deaths http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Cornell_University_alumni http://en.wikipedia.org/wiki/Category:Duke_University_alumni http://en.wikipedia.org/wiki/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Deaths_in_December_2020 http://en.wikipedia.org/wiki/List_of_Carnegie_Mellon_University_people http://en.wikipedia.org/wiki/List_of_Cornell_University_alumni http://en.wikipedia.org/wiki/List_of_Cornell_University_alumni_(education) http://en.wikipedia.org/wiki/List_of_Cornell_University_alumni_(natural_sciences) http://en.wikipedia.org/wiki/List_of_Duke_University_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Turing_Award http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) http://en.wikipedia.org/wiki/Alan_Turing_Centenary_Conference http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/List_of_University_of_Virginia_people http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/Timeline_of_computing_2020%E2%80%93present
skos:prefLabel	Edmund M. Clarke
skos:altLabel	Clarke, Edmund M. E. M. Clarke E.M. Clarke Edmund Clarke
clgo:academicDiscipline	Computer science
clgo:almaMater	Cornell University
clgo:award	Turing Award
clgo:birthDate	1945-07-27
clgo:birthName	Edmund Melson Clarke, Jr.
clgo:birthPlace	Pennsylvania Virginia North Carolina Newport News, Virginia
clgo:birthYear	1945
clgo:deathDate	2020-12-22
clgo:deathPlace	Pennsylvania Pittsburgh
clgo:deathYear	2020
clgo:doctoralAdvisor	Robert Lee Constable
clgo:doctoralStudent	Bhubaneswar Mishra David L. Dill E. Allen Emerson
clgo:institution	Carnegie Mellon University
clgo:knownFor	Model checking
is clgo:doctoralAdvisor of	Bhubaneswar Mishra David L. Dill E. Allen Emerson
is clgo:doctoralStudent of	Robert Lee Constable

About: clgr:Edmund_M._Clarke