For course details and material, please see the GitHub links below.

• ECS 189C (Spring 2024): Software Correctness

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

• CIS 198 (Spring 2021): Rust Programming