2026 Fall

• No courses offered due to maternity leave.

2026 Spring

• COSE419: Software Verification

2025 Fall

• COSE214: Algorithms