David Dill

Stanford University
United States

H-Index & Metrics

Google H-index 74
Number of Google Citations 36,776
Guide2Research World Ranking 583rd
Guide2Research National Ranking (United States) 375th
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."

External Links

View other scientists in:

Profile was last updated at October 24, 2019, 3:10 am
Guide2Research Ranking is based on Google Scholar H-Index.