Youzhang (Mark) Sun

I am a first-year Master's student at the University of Toronto, where I am advised by Ningning Xie.

My main interest is Programming Languages. I am currently working on:

• Algebraic Effects, Effect Handlers
• Type Systems, Type Inference

I am also broadly interested in Mathematics. I have some basic background in:

• Logic
• Topology
• Category Theory

You can find more about me here.

• Teaching Assistant, Mathematical Expression and Reasoning for Computer Science, University of Toronto St. George, Winter 2025
• Teaching Assistant, Principles of Programming Languages, University of Toronto Mississauga, Fall 2024
• Teaching Assistant, Principles of Programming Languages, University of Toronto Scarborough, Winter 2024
• Teaching Assistant, Introduction to the Theory of Computation, University of Toronto Scarborough, Fall 2023
• Teaching Assistant, Principles of Programming Languages, University of Toronto Scarborough, Summer 2023
• Teaching Assistant, Discrete Mathematics, University of Toronto Scarborough, Winter 2023
• Teaching Assistant, Introduction to the Theory of Computation, University of Toronto Scarborough, Summer 2021

Student Volunteer: ICFP 2024

You can reach me at the following emails:

• youzhang.sun [at] mail [dot] utoronto [dot] ca
• yzms [at] cs [dot] toronto [dot] edu (I don't check this often)

I hope we can learn from each other.