Teaching

CMPT 419/983 (D100/G100) Fluid Simulation for Computer Graphics (Fall 2025)

• Syllabus: Google Doc

• Instructor: Wuyang Chen (wuyang@sfu.ca)

• TA: Hong Huang (hong_huang@sfu.ca)

• Classroom: AQ 4150

• Time: Monday 9:30 am - 12:20 pm

• Office Hour:

  • Wuyang Chen: Monday 1:30 pm - 2:30 pm, TASC1 9209

• Canvas: https://canvas.sfu.ca/courses/92726

• Slack: Invite Link

Introduction to Formal Theorem Proving in Lean (Summer 2025)

• Syllabus: Google Doc, with links to Zoom recordings at the bottom

• Instructor: Wuyang Chen (wuyang@sfu.ca)

• Classroom: TASC1 9204

• Time: Aug 25th - 29th, 2:30pm - 5pm

• Lecture Notes: https://delta-lab-ai.github.io/lean_intro

  • This is own modified, simplified, annotated version of “Mathematics in Lean”, with full credit to the original authors.

CMPT 420/728 Deep Learning (Spring 2025)

• Syllabus: Google Doc

• Instructor: Wuyang Chen (wuyang@sfu.ca)

• TAs: Qimin Chen (qca43@sfu.ca), Zhen Li (zla247@sfu.ca)

• Classroom: AQ 3154

• Time: Monday 12:30-14:20, Wednesday 12:30-13:20

• Office Hour:

  • Wuyang Chen: Wednesday 13:30-14:30 at AQ 5030

  • Qimin Chen: Monday 10:00 - 11:00 am (Zoom: https://sfu.zoom.us/j/9051564649)

  • Zhen Li: Friday 10:00-11:00am (Zoom: https://us05web.zoom.us/j/86100082671?pwd=8r3zz3IeyYK9RDIT5Le4FPVoue7tGT.1)

• Canvas: https://canvas.sfu.ca/courses/88560