Edmund M. Clarke

Summary

Edmund M. Clarke is a human^[1]. He was born in Newport News^[2]. He was born on July 27, 1945^[3]. He died in Pittsburgh^[4]. He died on December 22, 2020^[5]. He worked as a computer scientist^[6], university teacher^[7], engineer^[8], and mathematician^[9]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (63 views/month, #7,274 of 1,000,298).^[10]

Key Facts

• Edmund M. Clarke's place of birth was Newport News^[2].
• Edmund M. Clarke died in Pittsburgh^[4].
• Edmund M. Clarke was born on July 27, 1945^[3].
• Edmund M. Clarke died on December 22, 2020^[5].
• Edmund M. Clarke held citizenship in United States^[11].
• English was Edmund M. Clarke's native language^[12].
• Edmund M. Clarke's professions included computer scientist^[6].
• Edmund M. Clarke's professions included university teacher^[7].
• Edmund M. Clarke's professions included engineer^[8].
• Edmund M. Clarke's professions included mathematician^[9].
• Edmund M. Clarke's field of work was informatics^[13].
• Edmund M. Clarke's field of work was computer science^[14].
• Edmund M. Clarke was employed by Duke University^[15].
• Among Edmund M. Clarke's employers was Harvard University^[16].
• Edmund M. Clarke was employed by Cornell University^[17].
• Among Edmund M. Clarke's employers was Carnegie Mellon University^[18].
• Edmund M. Clarke's education included a stint at University of Virginia^[19].
• Edmund M. Clarke's education included a stint at Duke University^[20].
• Edmund M. Clarke was educated at Cornell University^[21].
• Edmund M. Clarke's doctoral advisor was Robert Lee Constable^[22].
• A notable student of Edmund M. Clarke was E. Allen Emerson^[23].
• Edmund M. Clarke received the Turing Award^[24].
• Edmund M. Clarke received the Paris Kanellakis Award^[25].
• Edmund M. Clarke received the Herbrand Award^[26].
• Edmund M. Clarke received the Harry H. Goode Memorial Award^[27].

Body

Origins and Family

Edmund M. Clarke's place of birth was Newport News^[2]. He was born on July 27, 1945^[3]. English was his native language^[12].

Education

Educated at University of Virginia^[19], a public research university^[28], in United States^[29], founded in 1819^[30], headquartered in Charlottesville^[31]; Duke University^[20], a university^[32], in United States^[33], founded in 1838^[34], headquartered in Durham^[35]; and Cornell University^[21], a private university^[36], in United States^[37], founded in 1865^[38], headquartered in Ithaca^[39]. Edmund M. Clarke's doctoral advisor was Robert Lee Constable^[22].

Career and Affiliations

Recorded occupations include computer scientist^[6], university teacher^[7], engineer^[8], and mathematician^[9]. Fields of work include informatics^[13], an academic major^[40], founded in 1957^[41] and computer science^[14], an academic discipline^[42]. Employers include Duke University^[15], a university^[43], in United States^[44], founded in 1838^[45], headquartered in Durham^[46]; Harvard University^[16], a private university^[47], in United States^[48], founded in 1636^[49], headquartered in Cambridge^[50]; Cornell University^[17], a private university^[51], in United States^[52], founded in 1865^[53], headquartered in Ithaca^[54]; and Carnegie Mellon University^[18], a private university^[55], in United States^[56], founded in 1900^[57], headquartered in Pittsburgh^[58]. A notable student of Edmund M. Clarke was E. Allen Emerson^[23]. Doctoral students include Bhubaneswar Mishra^[59], E. Allen Emerson^[60], Sicun Gao^[61], David L. Dill^[62], Kenneth L. McMillan^[63], and Marius Minea^[64].

Recognition

Awards received include Turing Award^[24], a science award^[65], in United States^[66], founded in 1966^[67]; Paris Kanellakis Award^[25], an award^[68]; Herbrand Award^[26], an award^[69], founded in 1992^[70]; Harry H. Goode Memorial Award^[27], an award^[71]; ACM Fellow^[72], a fellowship award^[73]; and IEEE Fellow^[74], a science award^[75].

Death and Burial

Edmund M. Clarke died on December 22, 2020^[5]. He passed away in Pittsburgh^[4]. The cause of death was COVID-19^[76].

Why It Matters

Edmund M. Clarke ranks in the top 0.73% of human entities by monthly Wikipedia readership (63 views/month, #7,274 of 1,000,298).^[10] He has Wikipedia articles in 16 language editions, a strong signal of global cultural recognition.^[77] He is known by 16 alternative names across languages and contexts.^[78]

His notable doctoral advisees include E. Allen Emerson^[79], a computer scientist^[80], 1954–2024^[81], of United States^[82], awarded the Turing Award^[83], specialised in computer science^[84]; Kenneth L. McMillan^[85], a computer scientist^[86], b. 2000^[87], of United States^[88], awarded the Paris Kanellakis Award^[89]; Bhubaneswar Mishra^[90], a computer scientist^[91], b. 1961^[92], of United States^[93], awarded the ACM Fellow^[94], specialised in computer science^[95]; David L. Dill^[96], a computer scientist^[97], b. 1957^[98], awarded the ACM Fellow^[99], specialised in computer science^[100]; Jerry Robert Burch^[101], a computer scientist^[102]; and Wilfredo Rogelio Marrero^[103], a computer scientist^[104].

FAQs

Where was Edmund M. Clarke born?

Edmund M. Clarke's place of birth was Newport News^[2].

Where did Edmund M. Clarke die?

Edmund M. Clarke passed away in Pittsburgh^[4].

What did Edmund M. Clarke do for work?

Edmund M. Clarke worked as computer scientist^[6], university teacher^[7], engineer^[8], and mathematician^[9].

Where did Edmund M. Clarke go to school?

Edmund M. Clarke was educated at University of Virginia^[19], Duke University^[20], and Cornell University^[21].

What awards did Edmund M. Clarke receive?

Honors received include Turing Award^[24], Paris Kanellakis Award^[25], Herbrand Award^[26], and Harry H. Goode Memorial Award^[27].