Glenn Sun

About Me

I'm a fourth-year Mathematics undergrad at UCLA. I grew up in New Jersey and am currently living in Los Angeles. This fall, I will be joining the CSE department at the University of Washington, where I will be a Ph.D. student temporarily advised by Paul Beame. My research interests will focus on proof complexity and formal methods.

I lead a class for high school students at the UCLA Olga Radko Endowed Math Circle (formerly Los Angeles Math Circle). I work with other instructors to design a curriculum and teach fun topics in mathematics like knot theory, Axiom of Choice, and more. I've also TA'ed for the AwesomeMath Summer Program (AIME/USAMO preparatory classes) and the Program for Algorithimic and Combinatorial Thinking (discrete math and algorithms).

Writing

Research Papers

• Deterministic Graph Coloring in the Streaming Model, S. Assadi, A. Chen, and G. Sun, STOC 2022. arXiv:2109.14891
• Visualization Equilibrium, P. Kayongo, G. Sun, J. Hartline, and J. Hullman, IEEE Transactions on Visualization and Computer Graphics 28 (2022), 465–474. arXiv:2108.04953

Handouts and Notes

• UCLA Olga Radko Endowed Math Circle
  • Hat Puzzles and the Axiom of Choice
  • Introduction to Algorithms
  • P vs. NP
  • Intro to Quantum Computing
  • Fast Fourier Transform
  • Zero Knowledge Proofs
  • Mathematics of Juggling
  • Recurrences and Generating Functions
  • Gaussian Elimination
  • Really Big Numbers
  • Bezout's Theorem, Part 1
  • Bezout's Theorem, Part 2
• Full lecture notes for MATH 285N: Tiling Problems (Fall 2022)
• Partial lecture notes for CS 281A: Computability and Complexity (Fall 2020)
  • Lecture 3: Universal Simulation of Turing Machines
  • Lecture 11: PH with Oracles and Introduction to Randomness
  • Lecture 12: Randomized Complexity Classes
  • Lecture 13: Sipser–Gács Theorem and Other Topics in Randomness

Last updated May 27, 2023