Youzhang (Mark) Sun

I am a computer science graduate with a background in programming language theory and mathematics. I graduated from the University of Toronto, where I was advised by Ningning Xie.

I am exploring the broader topic software engineering. As I gain first-hand experience of software development lifecycle using tools I am interested in, I seek to answer questions such as:

• How can developers leverage the static guarantees provided by programming languages with high assurance.
• What is the developer experience of building products with complex type system.

My heart is still deeply invested into the theory of programming languages. Some topics I want to explore include:

• Type inference
• Denotational semantics

Email

youzhang [dot] mark [dot] sun [at] gmail [dot] com

GitHub

YZmarkS

Resume

Resume PDF