David A. Dillard
Orcid: 0000-0002-2903-9318
According to our database1,
David A. Dillard
authored at least 2 papers
between 2001 and 2002.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2005, "For contributions to system verification and for leadership in the development of verifiable voting systems.".
IEEE Fellow
IEEE Fellow 2001, "For contributions to verification of circuits and systems.".