David L. Dill

This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous. Find sources: "David L. Dill" – news · newspapers · books · scholar · JSTOR (December 2021) (Learn how and when to remove this message)

David L. Dill
Born	(1957-01-08) January 8, 1957 (age 67)
Nationality	United States
Alma mater	Massachusetts Institute of Technology
Awards	Alonzo Church Award CAV Award EFF Pioneer Award
Scientific career
Doctoral advisor	Edmund M. Clarke
Notable students	Rajeev Alur
Website	[1]

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.

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.