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

Other

Miscellaneous Writing

Last updated August 28, 2023.