Dill, David L.
Enlarge text Shrink text-
Personality
|
מספר מערכת
987007444631605171
Information for Authority record
Name (Latin)
Dill, David L.
Name (Arabic)
ديل، ديفيد
Date of birth
1957-01-08
Occupation
College teachers
Associated Language
eng
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- His Trace theory for automatic hierarchical verification of speed-independent circuits, 1989:CIP t.p. (David L. Dill)
Wikipedia description:
David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems. He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University.
Read more on Wikipedia >