Guide2Research is growing! Our platform is now called Research.com and more exciting new updates are coming soon. X
G2R World Ranking
G2R United States Ranking
H-Index & Metrics
|Number of Google Citations
|Number of Articles on DBLP
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: