All course material is available on GitHub.

• ECS 261 (Spring 2025): Program Verification

• ECS 119 (Fall 2024): Data Processing Pipelines

• ECS 189C (Spring 2024): Software Correctness

• ECS 289C (Spring 2024): Seminar in Programming Languages

• CIS 198 (Spring 2021): Rust Programming