Building Secure Systems using Programming Languages and Analysis

Contact information

For general information and questions, please post to the class Piazza. (It’s likely that other students will have the same question.) We will post announcements on Piazza (in addition to the course page), so please make sure to sign up. For urgent or personal matters matters, please post a private question or contact the instructor by email.

Instructor