About Me

I'm a third-year PhD student in Computer Science at the University of Washington. My undergrad and master's were in Mathematics at UCLA. My temporary advisor is Paul Beame and my primary affiliation is with the CS Theory group.

Currently, I am studying SAT solvers broadly, including both algorithmic advancements and lower bounds (i.e. proof complexity). More broadly, I am interested in:

Feel free to email me to ask about anything!

Research

  1. E-Graphs as Circuits, and Optimal Extraction via Treewidth
    Glenn Sun, Yihong Zhang, Haobin Ni
    Preprint, 2024
    arXiv
    slides
  2. Deterministic Graph Coloring in the Streaming Model
    Sepehr Assadi, Andrew Chen, Glenn Sun
    STOC 2022
    arXiv
    ACM
  3. Visualization Equilibrium
    Paula Kayongo, Glenn Sun, Jason Hartline, Jessica Hullman
    IEEE TVCG 2022
    arXiv
    IEEE

Teaching

University of Washington

Canada/USA Mathcamp

Since 2024, I have been designing and teaching several unique courses each year for Canada/USA Mathcamp, a summer camp for advanced students in grades 8–12. Most courses are designed for 5 days @ 1 hour/day, though some can be as short as 1 day. Below is a selection of the courses that I was most excited about.

expand
  • Mathcamp Crash Course
  • Three approaches to calculus without limits
  • Using slide rules
  • Tarski–Seidenberg theorem
  • Gröbner bases and polynomial inference
  • Primitive recursive functions (with Jennifer Gao)
  • A 10-minute song about mathematical coincidences (with Jennifer Gao, Chloe Stewart, and Abi Tenenbaum)

Other

Maps

I have a hobby of making maps. If these are useful to you, please use them.

Miscellaneous Notes

Last updated August 15, 2025.