Nate Foster - POPL 2017 (original) (raw)

• Attending

• Program

• Tracks
  * Tutorials
  * Student Research Competition
  * POPL
  * Artifact Evaluation

• Organization
  * Organizing Committee
  * Steering Committee
  * Student Research Competition
  * Artifact Evaluation
  * People Index

• Search

• Series

• Sign in

• Sign up

Registered user since Tue 30 Aug 2016

Name:Nate Foster

Bio:

Nate Foster is an Associate Professor of Computer Science at Cornell University. 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, 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, a Most Influential POPL Paper Award, a Tien ’72 Teaching Award, a Google Research Award, a Yahoo! Academic Career Enhancement Award, a Cornell Engineering Research Excellence Award, and the Morris and Dorothy Rubinoff Award.

Country:United States

Affiliation:Cornell University

Research interests:Programming Languages, Networking, Databases

Contributions

2017

POPL

• Cantor Meets Scott: Semantic Foundations for Probabilistic Networks

RDP

• Organizing Chair in Program Committee within the RDP-track
• Session Chair of Welcome (part of RDP)
• Session Chair of Session III (part of RDP)
• Discussion
• Welcome

Show activities from other conferences

x_Fri 10 Apr 09:12_