David DillStanford University
H-Index & Metrics
|Number of Google Citations||33,820|
|Guide2Research World Ranking||437th|
|Guide2Research National Ranking (United States)||292nd|
|Number of Articles on DBLP||165|
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 February 12, 2018, 1:10 am
Guide2Research Ranking is based on Google Scholar H-Index.