Scholar

Nate Foster

Google Scholar ID: AH5j40kAAAAJ

Professor of Computer Science, Cornell University

Programming LanguagesNetworkingSystems

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

12,137

H-index

46

i10-index

79

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

6 items

NEST: Network Enforced Session Types (Technical Report)

2026

Cited

0

Weighted NetKAT: A Programming Language For Quantitative Network Verification

2026

Cited

0

Building Better Environments for Autonomous Cyber Defence

2026

Cited

0

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)