Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00782954n
Noun Named Entity
SYL
No term available
EN
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. Wikipedia
Relations
Sources
IS A
Homo sapiens
AWARD RECEIVED
EN
Herbrand Award
EN
Benjamin Franklin Medal
EN
Paris Kanellakis Award
EN
Turing Award
EN
Institute of Electrical and Electronics Engineers
+3 relations
CAUSE OF DEATH
EN
COVID-19
COUNTRY OF CITIZENSHIP
ꠀꠝꠦꠞꠤꠇꠣ
DESCRIBED BY SOURCE
EN
Obalky knih.cz
DOCTORAL ADVISOR
EN
Robert L. Constable
DOCTORAL STUDENT
EN
E. Allen Emerson
EN
Bhubaneswar Mishra
EN
Kenneth L. McMillan
EN
David L. Dill
EDUCATED AT
EN
Cornell University
EN
Duke University
EN
University of Virginia
EMPLOYER
EN
Carnegie Mellon University
EN
Cornell University
EN
Duke University
EN
Harvard University
FAMILY NAME
EN
Clarke
FIELD OF WORK
EN
computer science
EN
informatics
GIVEN NAME
Edmund
LANGUAGES SPOKEN, WRITTEN OR SIGNED
EN
English
MANNER OF DEATH
EN
natural causes
MEMBER OF
Association For Computing Machinery
American Academy Of Arts And Sciences
EN
National Academy of Engineering
EN
Institute of Electrical and Electronics Engineers
NATIVE LANGUAGE
EN
English
OCCUPATION
EN
engineer
EN
computer scientist
EN
mathematician
EN
professeur des universités
EN
researcher
PLACE OF BIRTH
Newport news
PLACE OF DEATH
Pittsburgh
SEX OR GENDER
EN
male
STUDENT
EN
E. Allen Emerson

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License