Courses and Departmental Activities

• Stanford courses:
• CS 099J Sophomore Seminar: Computer Security and Privacy.
• CS 103x Discrete Structures (accelerated). 
• CS 142 Web application development and security
• CS 155 Computer and Network Security. 
• CS 241 Web security
• CS 242 Programming Languages.
• CS 258 Introduction to Programming Language Theory.
• CS 259 Security Analysis of Network Protocols.
• CS 302 Techlaw with Progressive Minds.
• CS 358 Topics in Programming Language Theory
• Spring 1993 Proof techniques and semantics.
• Spring 1994 Type systems for functional and object-oriented languages.
• Spring 1995 Linear logic and games.
• Spring 1996 Concurrent object-oriented programming.
• Exams for PhD program
• Comprehensive Exam (Programming Languages Section) 
• PhD Qualifying Exam in Systems Qual information page and sample programming language exams.
• PhD Qualifying Exam in Theory information page and  MTC Qual reading list and portions of past exams.

Return to J Mitchell home page