Scholar
Jake Silverman
Google Scholar ID: 1hTq1eQAAAAJ
Princeton University
Automated Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
49
H-index
2
i10-index
2
Publications
2
Co-authors
0
Publications
1 items
Formal Verification of Imperative First-Class Functions in Move
2026
Cited
0
