David DillStanford University
H-Index & Metrics
|Number of Google Citations||33,199|
|Guide2Research World Ranking||422nd|
|Guide2Research National Ranking (United States)||284th|
|Number of Articles on DBLP||163|
Awards & Achievements
- 2005 - ACM Fellows For contributions to system verification and for leadership in the development of verifiable voting systems.
- 2001 - IEEE Fellow For contributions to verification of circuits and systems.
- 1988 - ACM Doctoral Dissertation Award For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."
View other scientists in:
Profile was last updated at September 20, 2017, 7:29 pm
Guide2Research Ranking is based on Google Scholar H-Index.