David L. Dill
Scholar

David L. Dill

Google Scholar ID: uy8T6BYAAAAJ
Professor, Emeritus, of Computer Science, Stanford University
formal verificationvoting technologycomputational biology
Google Scholar↗
Citations & Impact
All-time
Citations
50,050
 
H-index
85
 
i10-index
212
 
Publications
20
 
Co-authors
44
list available
Contact
No contact links provided.
Publications
1 items
An AI Approach to Verified Production Cryptographic Libraries
2026
Cited
0
Resume (English only)
Co-authors
44 total
Clark Barrett
Clark Barrett
Stanford University
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Kenneth McMillan
Kenneth McMillan
Microsoft Research
Debashis Sahoo
Debashis Sahoo
Associate Professor of Pediatrics and Computer Science, University of California San Diego
Costas Courcoubetis
Costas Courcoubetis
Professor in SDS, CUHK Shenzhen
Co-author 8
Co-author 8