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
Sources
1. David L. Dill (Wikidata)
Wikidata alias: David Dill
David Dill
Wikidata P166: IEEE Fellow
Wikidata P166 (award received): IEEE Fellow.
Wikidata P166: Alonzo Church Award
Wikidata P166 (award received): Alonzo Church Award.
Wikidata P166: ACM Fellow
Wikidata P166 (award received): ACM Fellow.
Wikidata P166: EFF Award
Wikidata P166 (award received): EFF Award.
Wikidata P166: Fellow of the American Academy of Arts and Sciences
Wikidata P166 (award received): Fellow of the American Academy of Arts and Sciences.
Wikidata alias: David Lansing Dill
David Lansing Dill
P569 (date of birth): year 1957
1957
P569 (date of birth): 1957-01-08
1957-01-08
View the SourceReader 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.