Kenneth McMillan
Scholar

Kenneth McMillan

Google Scholar ID: pzFc-eEAAAAJ
Microsoft Research
Formal verificationlogicmachine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,539
 
H-index
29
 
i10-index
56
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)