David L. Dill
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. Provided by Wikipedia
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10by Subarna Sinha, Daniel Thomas, Steven Chan, Yang Gao, Diede Brunen, Damoun Torabi, Andreas Reinisch, David Hernandez, Andy Chan, Erinn B. Rankin, Rene Bernards, Ravindra Majeti, David L. DillGet full text
Published 2017-05-01
Article -
11by Ming Zheng, Haili Zhang, David L Dill, J David Clark, Susan Tu, Arielle L Yablonovitch, Meng How Tan, Rui Zhang, Dan Rujescu, Manhong Wu, Lino Tessarollo, Wilfred Vieira, Michael M Gottesman, Suhua Deng, Livia S Eberlin, Richard N Zare, Jean-Martin Billard, Jean-Pierre Gillet, Jin Billy Li, Gary PeltzGet full text
Published 2015-02-01
Article