CS Theory @ UW

CS Theory @ UW

Theory   |   CSE   |   Courses   |   Papers   |   News  
 
 
 
 
 
 
 

Faculty

Faculty

Computational complexity, proof complexity, and satisfiability

Quantum computation and cryptography

Algorithms and algorithmic game theory

Algorithms, complexity, optimization, probability

Convex optimization, algorithms

Machine learning, learning theory, quantum information theory

Cryptography, security, complexity theory

Machine learning, algorithmic game theory

Quantum information and hardness of approximation

Algorithms, spectral graph theory, applied probability

Complexity theory, communication complexity, information theory

Discrete optimization and linear/integer programming

Cryptography, security, complexity theory, information theory

Graph algorithms

Affiliated Researchers

Affiliated Researchers

Zeyuan Allen-Zhu (FAIR (Meta))
Zeyuan Allen-Zhu (FAIR (Meta))

Machine learning, optimization, algorithms.

Sebastien Bubeck (OpenAI)
Sebastien Bubeck (OpenAI)

Machine learning, combinatorial statistics, stochastic and convex optimization.

Nikhil Devanur (Amazon)
Nikhil Devanur (Amazon)

Fundamental algorithms and algorithmic game theory.

Machine learning

Maryam Fazel (UW EE)
Maryam Fazel (UW EE)

Mathematical optimization, data analysis, and control theory.

Kamal Jain (Faira)
Kamal Jain (Faira)

Developing new insights on commerce from a foundational perspective.

Optimization, experimental design, machine learning

Sreeram Kannan (UW EE)
Sreeram Kannan (UW EE)

Information theory and computational biology.

Algorithms

Machine learning, security, and privacy

Rekha Thomas (UW Math)
Rekha Thomas (UW Math)

Optimization and computational algebra

Differential privacy, Error correcting codes

Seattle TCS postdocs

Seattle TCS postdocs

Complexity theory, machine learning

Graduate students

Graduate students

Dorna Abdolazimi
Dorna Abdolazimi

Algorithms, spectral graph theory

Algorithms, probability, analysis

Ziyun Chen
Ziyun Chen

Algorithms, probability

Algorithms, Complexity

Assaf Harel
Assaf Harel

Quantum complexity, quantum error correction

Information theory, combinatorics

Cryptography, security

Stochastic optimization, algorithms

Cryptography, machine learning

Oscar Sprumont
Oscar Sprumont

Complexity theory

Proof complexity and formal methods

Artin Tajdini
Artin Tajdini

Quantum computing, complexity, algorithms

Cryptography, complexity theory, quantum computation

Dante Tjowasi
Dante Tjowasi

Algorithms, sampling algorithms, random processes

Boolean function analysis, property testing, complexity

Xinzhi Zhang
Xinzhi Zhang

Approximation algorithms, geometry of polynomials

Alumni (PhD & Postdoc)

Alumni (PhD & Postdoc)

Yuqing Ai
Yuqing Ai

Algorithms, spectral graph theory, optimization

Machine learning, active learning

Cryptography, security

Approximation algorithms, probabilistic combinatorics

Algorithms, combinatorics

Algorithms, spectral graph theory

Cryptography, security, complexity theory

Kira Goldner (Boston U.)
Kira Goldner (Boston U.)

Mechanism design, approximation algorithms, algorithmic game theory

Becca Hoberg (UW Math)
Becca Hoberg (UW Math)

Algorithms, Linear and Integer Programming

Algorithms and complexity theory

Cryptography, security

Machine learning

Continuous optimization, high-dimensional probability, and graph algorithms

Optimization, algorithms, convex geometry

Approximation algorithms, combinatorics

Complexity, probability, quantum computing

Kuikui Liu (MIT)
Kuikui Liu (MIT)

Algorithms, Markov chains, high-dimensional geometry

Cryptography

Cryptography, complexity theory

Convex optimization

Complexity theory, communication complexity

Complexity theory, communication complexity, and analysis of Boolean functions

Combinatorial and convex optimization

Alireza Rezaei
Alireza Rezaei

Approximation algorithms, spectral graph theory

Computational complexity

Algorithms, spectral graph theory, optimization

Algorithms, optimization

Makrand Sinha (UIUC)
Makrand Sinha (UIUC)

Communication complexity, quantum computing, applications of information theory

Cryptography

Xiaorui Sun (UIUC)
Xiaorui Sun (UIUC)

Algorithms, big data processing

Quantum computing, algorithms, combinatorics

Ben Terner
Ben Terner

Cryptography

Complexity, hardness reductions, impossbility results

Xihu Zhang
Xihu Zhang

Cryptography, complexity theory

Theory   |   Crypto   |   Quantum   |   CSE   |   Courses   |   Papers   |   News

Theory courses

SP 25 Randomized algorithms (S. Oveis Gharan)

SP 25 Finite model theory (D. Suciu)

WI 25 Quantum Learning Theory (A. Coladangelo)

AU 24 Quantum Information and Computation (C. Nirkhe)

AU 24 Approximate counting and mixing time of Markov chains (S. Oveis Gharan)

Recent eprints

2024-12-24 Succinct Partial Garbling from Groups and Applications. Yuval Ishai, Hanjun Li, and Huijia Lin.
2024-12-19 How to Compress Garbled Circuit Input Labels, Efficiently. Marian Dietz, Hanjun Li, and Huijia Lin.
2024-12-17 All pure multipartite entangled states of qubits can be self-tested up to complex conjugation. Maria Balanzó-Juandó, Andrea Coladangelo, Remigiusz Augusiak, Antonio Acín, and Ivan Šupić.
2024-12-12 Phi-4 Technical Report. Marah Abdin, Jyoti Aneja, Harkirat Behl, Sébastien Bubeck, Ronen Eldan, Suriya Gunasekar, Michael Harrison, Russell J. Hewett, Mojan Javaheripi, Piero Kauffmann, ....
2024-11-15 A Geometric Perspective on the Injective Norm of Sums of Random Tensors. Afonso S. Bandeira, Sivakanth Gopi, Haotian Jiang, Kevin Lucca, and Thomas Rothvoss.
2024-11-06 Learning the closest product state. Ainesh Bakshi, John Bostanci, William Kretschmer, Zeph Landau, Jerry Li, Allen Liu, Ryan O'Donnell, and Ewin Tang.
2024-11-03 How Fast Does the Inverse Walk Approximate a Random Permutation?. Tianren Liu, Angelos Pelecanos, Stefano Tessaro, and Vinod Vaikuntanathan.

UW Theory highlights

Shayan Oveis Gharan, UW CSE PhD alum Kuikui Liu, UW Math professor Cynthia Vinzant, and Nima Anari win the 2025 Held Prize from the National Academy of Sciences for major advances in the theory of matroids and expanding our understanding of the mixing rates of Markov chains.

Paul Beame and coauthors win the 2024 SAT Conference 20-year Test-of-Time Award for their work on model counting.

Victor Reis and Thomas Rothvoss are awarded a FOCS 2023 best paper award for their work on The subspace flatness conjecture and faster integer programming.

Paul Beame, Paris Koutris, and Dan Suciu receive the 2023 ACM PODS Test-of-Time Award for their work on parallel database query processing.

Shayan Oveis Gharan receives the 2023 Stephen Smale Prize for his work on algebraic and spectral methods in algorithm design.

Thomas Rothvoss shares the 2023 Gödel Prize for his work on the extension complexity of the matching polytope.

Rachel Lin named one of the “10 Scientists to Watch” by Science News.

Shayan Oveis Gharan is named a Simons Investigator.

Shayan Oveis Gharan wins 2021 Presburger Award for Young Scientists from EATCS for his research on TSP.

Paul Beame is recognized with an ACM SIGACT Distinguished Service Award.

Anna Karlin and collaborators win the ACM Paris Kanellakis Theory and Practice Award for their work on the power of two choices.

Anna Karlin is elected to the National Academy of Sciences.

Anna Karlin, Nathan Klein, and Shayan Oveis Gharan win a best paper award at STOC 2021 for their work A (Slightly) Improved Approximation Algorithm for Metric TSP.

Rachel Lin and coauthors achieve `Crown Jewel’ of Cryptography for their work on Indistinguishability Obfuscation from Well-Founded Assumptions, and receive a best paper award at STOC 2021.

Haotian Jiang wins a best student paper award at SODA 2021 for his work on minimizing convex functions with integral minimizers.

Anup Rao and Amir Yehudayoff publish Communication Complexity and Applications, a modern take on this foundational topic.

Kuikui Liu, Shayan Oveis Gharan and coauthors win a best paper award at STOC 2019 for their work on counting bases of matroids.

Yin Tat Lee and coauthors win a best paper award at NeurIPS 2018 for their work on algorithms for distributed optimization.

Thomas Rothvoss wins the Fulkerson Prize for his work on the perfect matching polytope.

Shayan Oveis Gharan is named an ONR Young Investigator.

The students of the UW theory group had an impressive presence at SODA 2017. Becca Hoberg and Thomas Rothvoss demonstrate A Logarithmic Additive Integrality Gap for Bin Packing; Cyrus Rashtchian and Paul Beame prove new results on Massively Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube; Alireza Rezaei and Shayan Oveis Gharan develop new Approximation Algorithms for Finding Maximum Induced Expanders.

Thomas Rothvoss is named a Packard Fellow.

Shayan Oveis Gharan named one of the “10 Scientists to Watch” by Science News.

Amos Fiat, Kira Goldner, Anna Karlin, and Elias Koutsoupias characterize the optimal auction in the “FedEx setting”, further demonstrating the importance of “ironing” and LP duality in mechanism design.

Alireza Rezaei, Shayan, and Nima Anari design efficient MCMC algorithms for sampling from homogeneous strongly Rayleigh measures, a generalization of k-determinantal point processes.

Anup Rao wins the 2016 SIAM Outstanding Paper Prize for his work with Boaz Barak, Mark Braverman and Xi Chen on how to compress interactive communication.

Elaine Levey and Thomas show how the Lasserre SDP hierarchy can be used to design new approximation algorithms for the classical problem of min-makespan scheduling with precedence constraints.

Rong Ge, Qingqing Huang, and Sham Kakade design new efficient algorithms for learning mixtures of Gaussians in high dimensions.

Siva Ramamoorthy and Anup give new techniques to compress communication protocols when the amount of communication is asymmetric.

James R. Lee, Prasad Raghavendra, and David Steurer win a best paper award at STOC 2015 for proving the first super-polynomial lower bounds on semidefinite extension complexity.

By proving a generalization of the Kadison-Singer conjecture, Shayan Oveis Gharan and Nima Anari give an improved bound on the integrality gap of the classical Held-Karp relaxation for the Asymmetric Traveling Salesman Problem.

Thomas Rothvoss wins the best paper award at STOC 2014 for proving lower bounds on the extension complexity of the matching polytope. Lance Fortnow calls it the “complexity result of the year.”