Youzhang (Mark) Sun

I completed my Master of Science at the University of Toronto, where I was advised by Ningning Xie.

My main interest is Programming Languages. During my Master's program, I worked on:

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

Programming Languages is still my main interest. I want to branch out into other areas such as:

• Denotational Semantics
• Mechanized Proofs

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

• Logic, Category Theory
• Algebra, Topology

• Teaching Assistant, Principles of Programming Languages, University of Toronto St. George, Fall 2025
• Course Preparation Teaching Assistant, Principles of Programming Languages, University of Toronto St. George, Summer 2025
• 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

Below is my school email:

• youzhang.sun [at] mail [dot] utoronto [dot] ca

You can find my GitHub here.

I hope we can learn from each other.