Regular biography
Nate Foster is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Department of Computer Science. His research interests include networked systems and abstractions, as indicated by his association with the Networked Systems Abstractions Lab. Foster is also linked to the IINFCOM, LASER, and IC-SSC departments at EPFL. His contact information includes an email address and a personal website. He holds an office in INN 238, located at EPFL's Station 14 in Lausanne.
Scholar-generated biography
Nate Foster is a Professor of Computer and Communication Sciences at EPFL, specializing in Programming Languages, Formal Verification, Computer Networking, and Systems. His research focuses on developing network programming languages and formal methods for network verification. Foster has contributed to the design of languages like Frenetic, NetKAT, and Pyretic, which enable high-level abstractions for network programming and verification. His work emphasizes formal semantics, bidirectional transformations, and scalable network protocols. He has also explored fault tolerance, in-network caching, and resource management in software-defined networks. Foster's research bridges theoretical foundations with practical systems, aiming to improve network reliability and performance through rigorous software engineering practices.