David Walker

David Walker is a Professor in the Department of Computer Science at Princeton University. He joined the department in 2002, was granted tenure in 2008, and was appointed a full professor in 2013. Walker received his doctoral and master’s degrees in computer science from Cornell University and his bachelor’s from Queen’s University in Kingston, Ontario. His research focuses on programming language theory, design, and implementation, with an emphasis on domain-specific languages. He has served as a visiting researcher at Microsoft Research and the University of Pennsylvania, and has held various editorial and program chair roles. His work has been recognized with awards including the NSF Career Award, a Sloan Fellowship, and the ACM SIGPLAN Robin Milner Young Researcher Award.

David Walker is a professor at Princeton University specializing in Programming Languages. His research focuses on the design and implementation of programming languages for network systems, emphasizing formal verification, type systems, and language-based security. He has contributed to the development of network programming languages such as Frenetic, NetKAT, and SNAP, which provide abstractions for managing and verifying network configurations. His work also includes type systems for memory management and security policies, as well as tools for network configuration verification and run-time enforcement of policies. Walker's research bridges theoretical foundations with practical applications in software-defined networking and network security.