Corin Pitcher

Courses for Spring 2023

• CSC347: Concepts of Programming Languages course home page
• CSC363 / CSC463: Theory and Practice of Safe Systems Programming course home page

Prior Courses

To view prior courses, syllabi, and evaluations, see the faculty page.

• CSC241: Introduction to Computer Science I
• CSC299: Sophomore Lab in Applied Computing: Blockchains and Smart Contracts
• CSC299: Sophomore Lab in Applied Computing: Go Faster With WebAssembly
• CNS320: Computer Forensics and Incident Response
• CNS450: Computer Forensics
• CSC301: Data Structures II
• CSC347: Concepts of Programming Languages
• CSC348: Introduction to Compiler Design
• CSC363: Theory and Practice of Safe Systems Programming
• CSC373: Systems I
• CSC376: Distributed Systems
• CSC397: Topics in Computer Science: Logic and Theorem Proving
• CSC403: Data Structures II
• CSC406: Systems I
• CSC435: Distributed Systems I (previously numbered as DS420: Distributed Systems I)
• CSC447: Concepts of Programming Languages
• CSC448: Compiler Design
• CSC595: Topics in Computer Science: Logic and Theorem Proving
• IT130: The Internet and the Web
• SE473: Security Architecture I
• SE525: Security Architecture
• SE533: Software Validation and Verification
• SE560: Structured Document Interchange and Processing
• SE573: Security Architecture II