David DillStanford University
H-Index & Metrics
|Number of Google Citations||36,423|
|Guide2Research World Ranking||505th|
|Guide2Research National Ranking (United States)||328th|
|Number of Articles on DBLP||169|
Awards & Achievements
- 2005 - ACM Fellow 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 August 11, 2019, 5:30 pm
Guide2Research Ranking is based on Google Scholar H-Index.