Nate Foster
Scholar

Nate Foster

Google Scholar ID: AH5j40kAAAAJ
Professor of Computer Science, Cornell University
Programming LanguagesNetworkingSystems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,727
 
H-index
35
 
i10-index
62
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
2025
Cited
0
StacKAT: Infinite State Network Verification
Proceedings of the ACM on Programming Languages · 2025
Cited
0
Active Learning of Symbolic NetKAT Automata
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)