Freshman Computer Science Seminar

COM SCI 1

Principles and Practices of Computing

COM SCI 30

Variable Topics in Computer Science: Principles and Practices of Computing

COM SCI 97

Programming Languages

COM SCI 131

Compiler Construction

COM SCI 132

Prototyping Programming Languages

COM SCI C137A

Programming Language Design

COM SCI C137B

Computer Science Seminar

COM SCI 201

Types and Programming Languages

COM SCI 231

Prototyping Programming Languages

COM SCI C237A

Programming Language Design

COM SCI C237B

Current Topics in Computer Science: Programming Languages and Systems: Advanced Software Reuse

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Lecture 1

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Lecture 6

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Programming at Scale

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Programming Language Design Laboratory

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Program Modularity and Extensibility

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Program Verification with Interactive Theorem Provers

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: SAT-Based Program Analysis and Verification

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Types and Programming Languages II

COM SCI 239

Current Topics in Computer Science: Programming Languages and Systems: Verifying Probabilistic Software Systems

COM SCI 239

Research Seminar: Computer Science

COM SCI 298

Teaching Apprentice Practicum

COM SCI 375

Directed Individual or Tutorial Studies

COM SCI 596

Preparation for MS Comprehensive Examination

COM SCI 597A

Preparation for PhD Preliminary Examination

COM SCI 597B

Preparation for PhD Oral Qualifying Examination

COM SCI 597C

Research for and Preparation of MS Thesis

COM SCI 598

Research for and Preparation of PhD Dissertation

COM SCI 599