Andrew Ferraiuolo
Scholar

Andrew Ferraiuolo

Google Scholar ID: CIlqTdMAAAAJ
Certora (Startup), Google, Cornell University
Security & PrivacyFormal MethodsProgramming LanguagesComputer Architecture
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,099
 
H-index
12
 
i10-index
13
 
Publications
19
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
1 items
On the Decompositionality of Neural Networks
2026
Cited
0
Resume (English only)
Co-authors
11 total
Edward Suh
Edward Suh
NVIDIA / Cornell University
Andrew C. Myers
Andrew C. Myers
Class of 1912 Professor of Engineering, Dept. of Computer Science, Cornell University
Danfeng Zhang
Danfeng Zhang
Duke University
Mark M. Tehranipoor
Mark M. Tehranipoor
Intel Charles E. Young Endowed Chair Professor, ECE, University of Florida
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Bryan Parno
Bryan Parno
Carnegie Mellon University
Ben Laurie
Ben Laurie
Google, University of Cambridge, UCL