David DillStanford University
H-Index & Metrics
|Number of Google Citations||35,876|
|Guide2Research World Ranking||506th|
|Guide2Research National Ranking (United States)||330th|
|Number of Articles on DBLP||166|
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 May 11, 2019, 6:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.