David L. Dill

Summary

David L. Dill is a human^[1]. He was born on January 8, 1957^[2]. He worked as a computer scientist^[3], academic^[4], and university teacher^[5].

Key Facts

• David L. Dill was born on January 8, 1957^[2].
• David L. Dill worked as a computer scientist^[3].
• David L. Dill's professions included academic^[4].
• David L. Dill worked as a university teacher^[5].
• David L. Dill's field of work was computer science^[6].
• Among David L. Dill's employers was Stanford University^[7].
• David L. Dill was educated at Massachusetts Institute of Technology^[8].
• David L. Dill's education included a stint at Carnegie Mellon University^[9].
• David L. Dill's doctoral advisor was Edmund M. Clarke^[10].
• David L. Dill received the ACM Fellow^[11].
• David L. Dill received the IEEE Fellow^[12].
• David L. Dill received the Fellow of the American Academy of Arts and Sciences^[13].
• David L. Dill received the EFF Award^[14].
• David L. Dill was a member of Association for Computing Machinery^[15].
• David L. Dill is recorded as male^[16].
• David L. Dill's instance of is recorded as human^[17].
• David L. Dill supervised Vijay Ganesh as a doctoral student^[18].
• David L. Dill supervised Rajeev Alur as a doctoral student^[19].
• David L. Dill supervised Xiaowu Jeffrey Su as a doctoral student^[20].
• David L. Dill supervised Gaurishankar Govindaraju as a doctoral student^[21].
• David L. Dill supervised Robert Brent Jones as a doctoral student^[22].
• David L. Dill supervised Chiang Han Yang as a doctoral student^[23].
• David L. Dill supervised Supratik Chakraborty as a doctoral student^[24].
• David L. Dill supervised Chung-Wah Norris Ip as a doctoral student^[25].
• David L. Dill supervised Seungjoon Park as a doctoral student^[26].

Body

Origins and Family

David L. Dill was born on January 8, 1957^[2].

Education

Educated at Massachusetts Institute of Technology^[8], a university^[27], in United States^[28], founded in 1861^[29], headquartered in Cambridge^[30] and Carnegie Mellon University^[9], a private university^[31], in United States^[32], founded in 1900^[33], headquartered in Pittsburgh^[34]. David L. Dill's doctoral advisor was Edmund M. Clarke^[10].

Career and Affiliations

Recorded occupations include computer scientist^[3], academic^[4], and university teacher^[5]. David L. Dill's field of work was computer science^[6]. He was employed by Stanford University^[7]. Doctoral students include Vijay Ganesh^[18], a computer scientist^[35]; Rajeev Alur^[19], a computer scientist^[36], b. 1966^[37], of United States^[38], awarded the ACM Fellow^[39], specialised in informatics^[40]; Xiaowu Jeffrey Su^[20]; Gaurishankar Govindaraju^[21]; Robert Brent Jones^[22]; and Chiang Han Yang^[23].

Recognition

Awards received include ACM Fellow^[11], a fellowship award^[41]; IEEE Fellow^[12], a science award^[42]; Fellow of the American Academy of Arts and Sciences^[13], a fellowship award^[43]; and EFF Award^[14], a science award^[44], founded in 1992^[45].

Why It Matters

David L. Dill's notable doctoral advisees include Rajeev Alur^[46], a computer scientist^[47], b. 1966^[48], of United States^[49], awarded the ACM Fellow^[50], specialised in informatics^[51]; Supratik Chakraborty^[52], a computer scientist^[53]; Vijay Ganesh^[54], a computer scientist^[55]; and Steven Mark Nowick^[56], a university teacher^[57], awarded the IEEE Fellow^[58].

FAQs

What did David L. Dill do for work?

David L. Dill worked as computer scientist^[3], academic^[4], and university teacher^[5].

Where did David L. Dill go to school?

David L. Dill was educated at Massachusetts Institute of Technology^[8] and Carnegie Mellon University^[9].

What awards did David L. Dill receive?

Honors received include ACM Fellow^[11], IEEE Fellow^[12], Fellow of the American Academy of Arts and Sciences^[13], and EFF Award^[14].