Scholar
David L. Dill
Google Scholar ID: uy8T6BYAAAAJ
Professor, Emeritus, of Computer Science, Stanford University
formal verification
voting technology
computational biology
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9,935
H-index
37
i10-index
78
Publications
20
Co-authors
44
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
44 total
Clark Barrett
Stanford University
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Co-author 3
Co-author 4
Kenneth McMillan
Microsoft Research
Debashis Sahoo
Associate Professor of Pediatrics and Computer Science, University of California San Diego
Costas Courcoubetis
Professor in SDS, CUHK Shenzhen
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up