Teaching
I teach or have taught the following courses. All course material is available on GitHub.
-
ECS 119 (Fall 2024, Fall 2025, Fall 2026): Data Processing Pipelines
-
ECS 189C (Spring 2024, Winter 2026): Software Correctness
-
ECS 240 (Fall 2026): Programming Languages
-
ECS 261 (Spring 2025, Winter 2026, Winter 2027): Program Verification
-
ECS 289C (Spring 2024): Seminar in Programming Languages
-
CIS 198 (Spring 2021): Rust Programming