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. He is the Donald E. Knuth Professor Emeritus in the School of Engineering and Professor Emeritus of Computer Science at Stanford University, and was elected to the National Academy of Engineering in 2013 for developing techniques to verify hardware, software and electronic voting systems.
Facts
AwardFellow of the American Academy of Arts and Sciences 1 Connections
In Field
Source David L. Dill (Wikipedia)
In the Other Atlases
Sources
1. Wikidata: David L. Dill
- Wikidata Q41187382, class allow-list match (w-wdresolver-0926)
- Wikidata Q41187382 P569 (date of birth)
View the SourceDavid L. Dill (Wikipedia)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.