Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Nate Foster

Registered user since Tue 30 Aug 2016

Name: Nate Foster

Bio: Nate Foster is an Associate Professor of Computer Science at Cornell University and a Principal Research Engineer at Barefoot Networks. 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. In the past he has also worked on bidirectional languages (also known as “lenses”), database query languages, data provenance, type systems, mechanized proof, and formal semantics. He received a PhD in Computer Science from the University of Pennsylvania. His honors include a Sloan Research Fellowship, an NSF CAREER Award, a Most Influential POPL Paper Award, and the SIGCOMM Rising Star Award.

Country: United States

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/~jnfoster/

Research interests: Programming Languages, Networking, Databases


APLAS 2019Author of Transactional Forest: A DSL for Managing Concurrent Filestores within the Research Papers-track
Author of Network Verification: Past, Present, and Future within the Keynote Talks-track
Show activities from other conferences

APLAS 2019-profile
View general profile