Teaching

CMPT 419/983 (D100/G100) Advanced AI for PDEs: Simulation, Learning, and Formal Verification (Fall 2026)

• Syllabus: Google Doc

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

• TA: TBD

• Classroom: AQ 5018

• Time: Monday 10:30 am - 12:20 pm, Wednesday 10:30 am - 11:20 pm

• Office Hour:

  • Wuyang Chen: Monday 3:30 pm - 4:20 pm, TASC1 9209

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

• Slack: Invite Link (TBD)

CMPT 210 (E100) Probability and Computing (Fall 2026) (with slight extensions to Topology and Measure Theory)

• Syllabus: Google Doc

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

• TA: TBD

• Classroom: AQ 3005

• Time: Monday 16:30 - 18:20, Wednesday 16:30 - 17:20

• Lab/Tutorial Time: Thursday 9:30-10:20, 10:30-11:20

• Office Hour:

  • Wuyang Chen: Monday 13:30-14:30, TASC1 9209

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

• Slack: Invite Link (TBD)

CMPT 420/728 Deep Learning (Spring 2026)

• Syllabus: Google Doc

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

• TAs: Qimin Chen (qca43@sfu.ca), Yizheng Xie (yxa153@sfu.ca)

• Classroom: Mondays at AQ 3003, Wednesdays at SWH 10041

• Time: Monday 14:30-16:20 pm, Wednesday 14:30-15:20 pm

• Office Hour:

  • Wuyang Chen: Wednesday 13:30-14:30 at TASC1 9209 (Zoom: https://sfu.zoom.us/my/wuyang)

  • Qimin Chen: Wednesday 11am-noon @ ASB 9810 (Zoom: https://sfu.zoom.us/j/9051564649)

  • Yizheng Xie: Thursday 2-3pm @ TASC1 8004 (Zoom: https://sfu.zoom.us/j/82762359425?pwd=XuzqqbQcLpjENXOo3O4Bqo38ItelJp.1)

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

• Slack: Invite Link

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