David L. Dill
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 67 |
| Date of birth | January 8,1957 |
| Zodiac sign | Capricorn |
| Citations | 36,380 |
| Books | Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits |
| Academic advisor | Edmund M. Clarke |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1015049 |
David L. Dill Life story
David Lansing Dill 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.
