UCSD Theory Group
Faculty
Sam Buss
Proof Complexity, SAT Solvers,
Feasible Formal Systems
Arya Mazumdar
Error Correcting Codes, Information Theory,
Statistical Learning
Mia Minnes
Automatic Structures, Algorithmic Randomness,
CS education
Barna Saha
Fine-grained Complexity, Approximation Algorithms,
Randomized Algorithms, Foundations of Data Science.
Yusu Wang
Discrete and Computational Geometry,
Applied Topology, Topological Data Analysis