Sky Li

About Me

Hello! I am a PhD student in Computer Science at the University of Toronto in the Software Engineering and Theory Groups. I am fortunate to be supervised by Azadeh Farzan and Sasho Nikolov. I also completed my undergraduate degree at the University of Toronto, specializing in Computer Science and History.

You can find my CV here (last updated August 2026).

Research

My research is primarily centred on:

• Differential privacy
• Formal verification
• Formally verifying differential privacy

in no particular order.

Miscellaneous

My email is sky [at] cs [dot] toronto [dot] edu.
You can find my GitHub here.
I use she/her pronouns.
In my free time, I enjoy reading (various thoughts about what I've read recently are collected here), listening to classical music, and playing trivia.