| Birthplace
|
http://dbpedia.org/resource/Newport_News%2C_Virginia +
|
| http://dbpedia.org/ontology/abstract
|
Edmund Melson Clarke, Jr. (Newport News (V … Edmund Melson Clarke, Jr. (Newport News (Virginia), 27 juli 1945 - Pennsylvania, 22 december 2020 ) was een Amerikaans informaticus. Samen met E. Allen Emerson en Joseph Sifakis heeft hij ontwikkeld, een techniek voor van hardware en software. Hiervoor ontvingen zij in 2007 de Turing Award. Clarke heeft ook bijdragen geleverd op het gebied van . Clarke was professor op het gebied van informatica aan de Carnegie Mellon University.rmatica aan de Carnegie Mellon University.
, Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli … Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet und wurde dafür 2007 mit dem Turing Award ausgezeichnet. Clarke war Informatik-Professor an der Carnegie Mellon University.ofessor an der Carnegie Mellon University.
, Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.
, Эдмунд Мельсон Кларк младший (англ. Edmund … Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945, США — 22 декабря 2020) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон.форматики в университете Карнеги — Меллон.
, Edmund Melson Clarke, Jr. (Newport News, 2 … Edmund Melson Clarke, Jr. (Newport News, 27 de julho de 1945 – 22 de dezembro de 2020) foi um cientista da computação estadunidense. Ao lado do Ernest Allen Emerson e do Joseph Sifakis, foi laureado com o Prêmio Turing de 2007, pelo desenvolvimento da verificação de modelos. Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.ezembro de 2020, aos 75 anos, de COVID-19.
, エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日）は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。
, Едмунд Кларк (англ. Edmund Clarke; 27 липн … Едмунд Кларк (англ. Edmund Clarke; 27 липня 1945 — 22 грудня 2020) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.Відомий через створення методу верифікації під назвою перевірка моделей, а також завдяки розробленню однієї з поширених темпоральних логік — CTL.нієї з поширених темпоральних логік — CTL.
, إدموند كلارك (بالإنجليزية: Edmund M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
, Edmund Melson Clarke, Jr. ( 27 juillet 194 … 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).Association for Computing Machinery (ACM).
, 에드먼드 멜슨 클라크 2세(Edmund Melson Clarke, Jr., … 에드먼드 멜슨 클라크 2세(Edmund Melson Clarke, Jr., 1945년 7월 27일 ~ 2020년 12월 22일)는 미국의 컴퓨터 과학자이다. 1967년 버지니아 대학교 수학과 학사, 1968년 듀크 대학교 수학과 석사를 거쳐 1976년 코넬 대학교에서 컴퓨터 과학 박사 학위를 받았다. 졸업 후 듀크 대학교에서 강의를 하다가 1978년 하버드 대학교, 1982년 카네기 멜론 대학교로 옮겼다. 1989년 정교수가 되었다. 클라크는 소프트웨어·하드웨어 검증과 자동 정리 증명을 연구했다. 1981년 박사과정 지도학생인 과 함께 유한 상태 병행 시스템을 위한 을 고안하였다. 이 공로로 둘은 1999년 ACM 과 2007년 튜링상을 공동 수상했다. 2020년 코로나19로 투병중 사망했다.2007년 튜링상을 공동 수상했다. 2020년 코로나19로 투병중 사망했다.
, Edmund Melson Clarke, Jr. (Newport News, 2 … Edmund Melson Clarke, Jr. (Newport News, 27 de juliol de 1945 – 22 de desembre de 2020) fou un informàtic i acadèmic notable per haver desenvolupat la verificació de models, un mètode per a verificar formalment dissenys de maquinari i programari. Ocupà la càtedra FORE Systems d'Informàtica a la Universitat Carnegie Mellon. Clarke, juntament amb E. Allen Emerson i Joseph Sifakis, va rebre el Premi Turing de 2007, atorgat per l'ACM.l Premi Turing de 2007, atorgat per l'ACM.
, Edmund Melson Clarke, Jr. (July 27, 1945 – … Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.fakis, received the 2007 ACM Turing Award.
, 小爱德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日 - 2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Cornell_University +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Turing_Award +
|
| http://dbpedia.org/ontology/birthDate
|
"1945-07-27"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Edmund Melson Clarke, Jr.
|
| http://dbpedia.org/ontology/deathDate
|
"2020-12-22"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Pennsylvania +
, http://dbpedia.org/resource/Pittsburgh +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Robert_Lee_Constable +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Bhubaneswar_Mishra +
, http://dbpedia.org/resource/David_L._Dill +
, http://dbpedia.org/resource/E._Allen_Emerson +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/Carnegie_Mellon_University +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Model_checking +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Edmund_Clarke_FLoC_2006.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://cmacs.cs.cmu.edu/ +
, https://web.archive.org/web/20090417205051/http:/usacm.acm.org/usacm/weblog/index.php%3Fp=572 +
, https://informatics.tuwien.ac.at/news/574 +
, https://www.cs.cmu.edu/~emc/bio.html +
, https://www.cs.cmu.edu/~emc +
, https://mitpress.mit.edu/books/model-checking +
|
| http://dbpedia.org/ontology/wikiPageID
|
15590926
|
| http://dbpedia.org/ontology/wikiPageLength
|
8443
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1124395802
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Cambridge%2C_Massachusetts +
, http://dbpedia.org/resource/Category:Duke_University_alumni +
, http://dbpedia.org/resource/National_Science_Foundation +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/COVID-19_pandemic_in_Pennsylvania +
, http://dbpedia.org/resource/Carnegie_Mellon_School_of_Computer_Science +
, http://dbpedia.org/resource/Abstract_interpretation +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Durham%2C_North_Carolina +
, http://dbpedia.org/resource/Hardware_verification +
, http://dbpedia.org/resource/Newport_News%2C_Virginia +
, http://dbpedia.org/resource/Joseph_Sifakis +
, http://dbpedia.org/resource/IEEE_Computer_Society +
, http://dbpedia.org/resource/Duke_University +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Ithaca%2C_New_York +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty +
, http://dbpedia.org/resource/Finite_state_machine +
, http://dbpedia.org/resource/Computer_hardware +
, http://dbpedia.org/resource/Category:Deaths_from_the_COVID-19_pandemic_in_Pennsylvania +
, http://dbpedia.org/resource/Dissertation +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Academic +
, http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/Franklin_Institute +
, http://dbpedia.org/resource/American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Harry_H._Goode +
, http://dbpedia.org/resource/Category:People_from_Newport_News%2C_Virginia +
, http://dbpedia.org/resource/Category:University_of_Virginia_alumni +
, http://dbpedia.org/resource/Carnegie_Mellon +
, http://dbpedia.org/resource/Bhubaneswar_Mishra +
, http://dbpedia.org/resource/Verification_and_validation +
, http://dbpedia.org/resource/Hoare_logic +
, http://dbpedia.org/resource/University_of_Virginia +
, http://dbpedia.org/resource/Category:Scientists_from_Virginia +
, http://dbpedia.org/resource/Master_of_Arts +
, http://dbpedia.org/resource/Binary_decision_diagrams +
, http://dbpedia.org/resource/Robert_Lee_Constable +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Pittsburgh +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/FORE_Systems +
, http://dbpedia.org/resource/E._Allen_Emerson +
, http://dbpedia.org/resource/Category:John_A._Paulson_School_of_Engineering_and_Applied_Sciences_faculty +
, http://dbpedia.org/resource/Category:2020_deaths +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Phi_Beta_Kappa +
, http://dbpedia.org/resource/Charlottesville%2C_Virginia +
, http://dbpedia.org/resource/Software +
, http://dbpedia.org/resource/Sigma_Xi +
, http://dbpedia.org/resource/Category:1945_births +
, http://dbpedia.org/resource/Carnegie_Mellon_University +
, http://dbpedia.org/resource/Pittsburgh%2C_Pennsylvania +
, http://dbpedia.org/resource/Kenneth_McMillan_%28computer_scientist%29 +
, http://dbpedia.org/resource/Symbolic_model_checking +
, http://dbpedia.org/resource/Harvard_Division_of_Engineering_and_Applied_Sciences +
, http://dbpedia.org/resource/Automatic_theorem_proving +
, http://dbpedia.org/resource/Semiconductor_Research_Corporation +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/Randal_Bryant +
, http://dbpedia.org/resource/List_of_pioneers_in_computer_science +
, http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Paris_Kanellakis_Award +
, http://dbpedia.org/resource/Pennsylvania +
, http://dbpedia.org/resource/COVID-19 +
, http://dbpedia.org/resource/Allen_Newell +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Automated_theorem_prover +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Duke_University_faculty +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Bachelor_of_Arts +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/David_L._Dill +
, http://dbpedia.org/resource/Bower_Award_and_Prize_for_Achievement_in_Science +
, http://dbpedia.org/resource/TU_Wien +
, http://dbpedia.org/resource/Cornell_University +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Cornell_University +
|
| http://dbpedia.org/property/awards
|
http://dbpedia.org/resource/Turing_Award +
|
| http://dbpedia.org/property/birthDate
|
"1945-07-27"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Edmund Melson Clarke, Jr.
|
| http://dbpedia.org/property/birthPlace
|
Newport News, Virginia, U.S.
|
| http://dbpedia.org/property/deathDate
|
"2020-12-22"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Pittsburgh, Pennsylvania, U.S.
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Robert_Lee_Constable +
|
| http://dbpedia.org/property/doctoralStudents
|
E. Allen Emerson
, David L. Dill
, Bhubaneswar Mishra
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Model_checking +
|
| http://dbpedia.org/property/nationality
|
American
|
| http://dbpedia.org/property/thesisTitle
|
Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems
|
| http://dbpedia.org/property/thesisYear
|
1976
|
| http://dbpedia.org/property/website
|
https://www.cs.cmu.edu/~emc +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Kanellakis_Award_laureates +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:More_footnotes_needed +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:AcademicSearch +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Turing_award +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/Carnegie_Mellon_University +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:People_from_Newport_News%2C_Virginia +
, http://dbpedia.org/resource/Category:John_A._Paulson_School_of_Engineering_and_Applied_Sciences_faculty +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Category:Duke_University_faculty +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:2020_deaths +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Category:Duke_University_alumni +
, http://dbpedia.org/resource/Category:Cornell_University_alumni +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Scientists_from_Virginia +
, http://dbpedia.org/resource/Category:Deaths_from_the_COVID-19_pandemic_in_Pennsylvania +
, http://dbpedia.org/resource/Category:1945_births +
, http://dbpedia.org/resource/Category:University_of_Virginia_alumni +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/8050749 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Edmund_M._Clarke?oldid=1124395802&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Edmund_Clarke_FLoC_2006.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
https://www.cs.cmu.edu/~emc +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Edmund_M._Clarke +
|
| owl:sameAs |
http://d-nb.info/gnd/1090089732 +
, http://es.dbpedia.org/resource/Edmund_Clarke +
, http://dbpedia.org/resource/Edmund_M._Clarke +
, http://bn.dbpedia.org/resource/%E0%A6%8F%E0%A6%A1%E0%A6%AE%E0%A7%81%E0%A6%A8%E0%A7%8D%E0%A6%A1_%E0%A6%8F%E0%A6%AE._%E0%A6%95%E0%A7%8D%E0%A6%B2%E0%A6%BE%E0%A6%B0%E0%A7%8D%E0%A6%95 +
, http://arz.dbpedia.org/resource/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83 +
, https://global.dbpedia.org/id/54ePK +
, http://uk.dbpedia.org/resource/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA +
, http://ru.dbpedia.org/resource/%D0%9A%D0%BB%D0%B0%D1%80%D0%BA%2C_%D0%AD%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9C%D0%B5%D0%BB%D1%8C%D1%81%D0%BE%D0%BD +
, http://ar.dbpedia.org/resource/%D8%A5%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83 +
, http://rdf.freebase.com/ns/m.03mgv9q +
, http://data.bibliotheken.nl/id/thes/p069871493 +
, http://sk.dbpedia.org/resource/Edmund_Clarke +
, http://d-nb.info/gnd/142488941 +
, http://tr.dbpedia.org/resource/Edmund_M._Clarke +
, http://eo.dbpedia.org/resource/Edmund_Clarke +
, http://zh.dbpedia.org/resource/%E7%88%B1%E5%BE%B7%E8%92%99%C2%B7%E5%85%8B%E6%8B%89%E5%85%8B +
, http://mg.dbpedia.org/resource/Edmund_M._Clarke +
, https://dblp.org/pid/c/EdmundMClarke +
, http://simple.dbpedia.org/resource/Edmund_M._Clarke +
, http://ca.dbpedia.org/resource/Edmund_M._Clarke +
, http://yago-knowledge.org/resource/Edmund_M._Clarke +
, http://www.wikidata.org/entity/Q92819 +
, http://no.dbpedia.org/resource/Edmund_M._Clarke +
, http://ro.dbpedia.org/resource/Edmund_Clarke +
, http://ja.dbpedia.org/resource/%E3%82%A8%E3%83%89%E3%83%A0%E3%83%B3%E3%83%89%E3%83%BB%E3%82%AF%E3%83%A9%E3%83%BC%E3%82%AF +
, http://ko.dbpedia.org/resource/%EC%97%90%EB%93%9C%EB%A8%BC%EB%93%9C_M._%ED%81%B4%EB%9D%BC%ED%81%AC +
, http://fa.dbpedia.org/resource/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D8%A7%D9%85_%DA%A9%D9%84%D8%A7%D8%B1%DA%A9 +
, http://nl.dbpedia.org/resource/Edmund_M._Clarke +
, http://pt.dbpedia.org/resource/Edmund_Clarke +
, http://sr.dbpedia.org/resource/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA +
, http://de.dbpedia.org/resource/Edmund_M._Clarke +
, http://fr.dbpedia.org/resource/Edmund_M._Clarke +
, http://viaf.org/viaf/8050749 +
|
| rdf:type |
http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAmericanAcademyOfArtsAndSciences +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Laureate110249011 +
, http://dbpedia.org/class/yago/WikicatCornellUniversityAlumni +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/WikicatAmericanInformationTheorists +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/WikicatTuringAwardLaureates +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://dbpedia.org/ontology/Eukaryote +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q5 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/WikicatDukeUniversityAlumni +
|
| rdfs:comment |
Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.
, Edmund Melson Clarke, Jr. (July 27, 1945 – … Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.fakis, received the 2007 ACM Turing Award.
, إدموند كلارك (بالإنجليزية: Edmund M. Clarke) ولد في 27 يوليو 1945 عالم حاسوب أمريكي، أستاذ علم الحاسوب في جامعة كارنيغي ميلون، فاز بجائزة تورنغ في عام 2007.
, Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli … Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet und wurde dafür 2007 mit dem Turing Award ausgezeichnet. Clarke war Informatik-Professor an der Carnegie Mellon University.ofessor an der Carnegie Mellon University.
, Edmund Melson Clarke, Jr. (Newport News, 2 … Edmund Melson Clarke, Jr. (Newport News, 27 de juliol de 1945 – 22 de desembre de 2020) fou un informàtic i acadèmic notable per haver desenvolupat la verificació de models, un mètode per a verificar formalment dissenys de maquinari i programari. Ocupà la càtedra FORE Systems d'Informàtica a la Universitat Carnegie Mellon. Clarke, juntament amb E. Allen Emerson i Joseph Sifakis, va rebre el Premi Turing de 2007, atorgat per l'ACM.l Premi Turing de 2007, atorgat per l'ACM.
, Edmund Melson Clarke, Jr. ( 27 juillet 194 … 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).Association for Computing Machinery (ACM).
, Edmund Melson Clarke, Jr. (Newport News (V … Edmund Melson Clarke, Jr. (Newport News (Virginia), 27 juli 1945 - Pennsylvania, 22 december 2020 ) was een Amerikaans informaticus. Samen met E. Allen Emerson en Joseph Sifakis heeft hij ontwikkeld, een techniek voor van hardware en software. Hiervoor ontvingen zij in 2007 de Turing Award. Clarke heeft ook bijdragen geleverd op het gebied van . Clarke was professor op het gebied van informatica aan de Carnegie Mellon University.rmatica aan de Carnegie Mellon University.
, 小爱德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日 - 2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。
, Эдмунд Мельсон Кларк младший (англ. Edmund … Эдмунд Мельсон Кларк младший (англ. Edmund Melson Clarke, Jr., 27 июля 1945, США — 22 декабря 2020) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. В последнее время являлся профессором информатики в университете Карнеги — Меллон.форматики в университете Карнеги — Меллон.
, Edmund Melson Clarke, Jr. (Newport News, 2 … Edmund Melson Clarke, Jr. (Newport News, 27 de julho de 1945 – 22 de dezembro de 2020) foi um cientista da computação estadunidense. Ao lado do Ernest Allen Emerson e do Joseph Sifakis, foi laureado com o Prêmio Turing de 2007, pelo desenvolvimento da verificação de modelos. Morreu em 22 de dezembro de 2020, aos 75 anos, de COVID-19.ezembro de 2020, aos 75 anos, de COVID-19.
, 에드먼드 멜슨 클라크 2세(Edmund Melson Clarke, Jr., … 에드먼드 멜슨 클라크 2세(Edmund Melson Clarke, Jr., 1945년 7월 27일 ~ 2020년 12월 22일)는 미국의 컴퓨터 과학자이다. 1967년 버지니아 대학교 수학과 학사, 1968년 듀크 대학교 수학과 석사를 거쳐 1976년 코넬 대학교에서 컴퓨터 과학 박사 학위를 받았다. 졸업 후 듀크 대학교에서 강의를 하다가 1978년 하버드 대학교, 1982년 카네기 멜론 대학교로 옮겼다. 1989년 정교수가 되었다. 클라크는 소프트웨어·하드웨어 검증과 자동 정리 증명을 연구했다. 1981년 박사과정 지도학생인 과 함께 유한 상태 병행 시스템을 위한 을 고안하였다. 이 공로로 둘은 1999년 ACM 과 2007년 튜링상을 공동 수상했다. 2020년 코로나19로 투병중 사망했다.2007년 튜링상을 공동 수상했다. 2020년 코로나19로 투병중 사망했다.
, エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日）は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。
, Едмунд Кларк (англ. Edmund Clarke; 27 липн … Едмунд Кларк (англ. Edmund Clarke; 27 липня 1945 — 22 грудня 2020) — американський науковець в галузі теоретичної інформатики та верифікації, лауреат премії Тюрінга.Відомий через створення методу верифікації під назвою перевірка моделей, а також завдяки розробленню однієї з поширених темпоральних логік — CTL.нієї з поширених темпоральних логік — CTL.
|
| rdfs:label |
Edmund M. Clarke
, 에드먼드 M. 클라크
, Едмунд Кларк
, Edmund Clarke
, エドムンド・クラーク
, إدموند كلارك
, 爱德蒙·克拉克
, Кларк, Эдмунд Мельсон
|
