BabelNet

bn:00782954n

Noun Named Entity

Edmund M. Clarke

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

uomo

AWARD RECEIVED

Herbrand Award

Benjamin Franklin Medal

Paris Kanellakis Award

CAUSE OF DEATH

COUNTRY OF CITIZENSHIP

DESCRIBED BY SOURCE

DOCTORAL ADVISOR

DOCTORAL STUDENT

EDUCATED AT

Università della Virginia

EMPLOYER

Università Carnegie Mellon

Università Cornell

Università Duke

Università di Harvard

FAMILY NAME

Clarke

FIELD OF WORK

informatica

GIVEN NAME

Edmondo

LANGUAGES SPOKEN, WRITTEN OR SIGNED

inglese

MANNER OF DEATH

cause naturali

MEMBER OF

Association for Computing Machinery

American Academy of Arts and Sciences

National Academy of Engineering

NATIVE LANGUAGE

OCCUPATION

professeur des universités

PLACE OF BIRTH

PLACE OF DEATH

SEX OR GENDER

STUDENT

Wikidata

Edmund M. Clarke