John Nathan Foster

Associate Professor
Computer Science, College of Engineering/Computing and Information Science

Contact Information

432 Gates Hall
Cornell University
Ithaca, NY 14853
p: (607) 255-5210

John Nathan Foster

Associate Professor
Computer Science, College of Engineering/Computing and Information Science

Expertise

Programming languages; compilers; semantics; networking; formal verification

Current Research Interest

Design and implementation of domain-specific languages for computer networks, focusing especially on probabilistic languages

Distinction

Special Interest Group on Data Communications (SIGCOMM) Rising Star Award
National Science Foundation CAREER Award
Sloan Fellowship
Tien '72 Teaching Award
Cornell Engineering Research Excellence Award

Selected Publications

Anderson, Carolyn Jane, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. “NetKAT: Semantic Foundations for Networks.” In POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 113-126. New York: Association for Computing Machinery, 2014.

Smolka, Steffen, Spiridon Eliopoulos, Nate Foster, and Arjun Guha. “A Fast Compiler for NetKAT.” In ICFP 2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 328-341. New York: Association for Computing Machinery, 2015.

Cornell Research Website Article

Programming for Superior Network Behavior