Nate Foster

Registered user since Tue 30 Aug 2016

Name:Nate Foster

Nate Foster is an Professor of Computer Science at Cornell University and a Platform Architect at Intel. The goal of his research is to develop languages and tools that make it easy for programmers to build secure and reliable systems. His current work focuses on the design and implementation of languages for programming software-defined networks. He received a PhD in Computer Science from the University of Pennsylvania, an MPhil in History and Philosophy of Science from Cambridge University, and a BA in Computer Science from Williams College. His awards include a Sloan Research Fellowship, an NSF CAREER Award, the SIGCOMM Rising Star Award, and paper awards at POPL, ICFP, NSDI, CoNEXT, and SIGCOMM.

Country:United States
Affiliation:Cornell University
Research interests:Programming Languages, Networking, Databases


PLDI 2022 Committee Member in PLDI within the PLDI-track
Leapfrog: Certified Equivalence for Protocol Parsers
(POPL 2022) Dependently-Typed Data Plane Programming
Session Chair of Semantics (part of PLDI)
(POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Show activities from other conferences

Using general profile