David L. Dill
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about David L. Dill?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.
Quick Facts Born, Nationality ...
David L. Dill | |
---|---|
Born | (1957-01-08) January 8, 1957 (age 67) |
Nationality | United States |
Alma mater | Massachusetts Institute of Technology |
Awards | |
Scientific career | |
Doctoral advisor | Edmund M. Clarke |
Notable students | Rajeev Alur |
Website |
Close
In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems.
He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University.