CS 5114 (Spring 2013)

Network Programming Languages
TR 8:40-9:55
Hollister 306

Overview

This course provides an introduction to the languages used to program computer networks. It will examine recent proposals based on logic, functional, and distributed languages, as well as tools for establishing correctness using automatic solvers, model checkers, and proof assistants.

Instructor

Nate Foster
Email: jnfoster[at]cs.cornell.edu
Office Hours: 3pm-4pm Tuesdays in Upson 4137

Validate XHTML Validate CSS
Last updated January 2013