Glenn Sun

About Me

I'm a first-year PhD student in Computer Science at the University of Washington, temporarily advised by Paul Beame and affiliated with the CS Theory group. My undergrad and master's were in Mathematics at UCLA. My research interests will likely focus on proof complexity and formal methods. I also spend a lot of time teaching and thinking about education.

Research

1. Deterministic Graph Coloring in the Streaming Model
   Sepehr Assadi, Andrew Chen, Glenn Sun
   STOC 2022
   arXiv
   DOI
2. Visualization Equilibrium
   Paula Kayongo, Glenn Sun, Jason Hartline, Jessica Hullman
   IEEE TVCG 2022
   arXiv
   DOI

Teaching

University of Washington

• Autumn 2023: CSE 421 Introduction to Algorithms

Other

• UW Math Circle
• AoPS Academy Bellevue
• Polymath Jr. program
• UCLA Math Circle
  expand

  • 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
• AwesomeMath Summer Program
• Program for Algorithmic and Combinatorial Thinking

Miscellaneous Writing

• Full notes for UCLA MATH 285N: Tiling Problems (Fall 2022)
• Partial notes for UCLA CS 281A: Computability and Complexity (Fall 2020)
  expand

  • 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 August 28, 2023.