A list of active members and alumni of the Theory of Computing group
CS-4391
bach@cs.wisc.edu
Computational number theory and algebra, analysis of randomized and quantum algorithms, cryptography.
CS-4393
jyc@cs.wisc.edu
Complexity theory of counting problems: Classification Program for partition functions of Graph Homomorphisms, Spin Systems, Counting Constraint Satisfaction Problems, and Holant Problems.
CS-4387
ilias@cs.wisc.edu
Algorithms, Learning Theory, Machine Learning, Applied Probability
CS-4373
rishab.goyal@wisc.edu
Cryptography and Computer Security
CS-4390
dieter@cs.wisc.edu
Complexity theory: lower bounds for NP-complete problems, pseudorandomness and derandomization, quantum computing.
CS-4375
silwal@cs.wisc.edu
Sublinear, streaming and data-driven algorithms, Machine learning theory.
CS-4385
vlatakis@wisc.edu
Game Theory, Optimization, Beyond Worst-Case Analysis of Algorithms & Multi-Agent Learning Theory.
Statistical Learning, Reinforcement Learning, Nonconvex and Stochastic Optimization, Applied Probability
Algorithms for combinatorial, stochastic, and online optimization
Large-scale optimization algorithms, lower bounds in optimization, optimization in ML
Computational complexity of statistical inference, mathematical statistics, applied probability, and information theory
Decision-making under uncertainty, game theory and mechanism design for data marketplaces
Theory of Metalearning, Learning-augmented algorithms
Data processing, data pricing, and managing data under uncertainty
Computability theory and applications to model theory
Discrete probability, nonconvex optimization, with particular interest in matrix factorization
Combinatorial optimization, polyhedra, game theory
Theory and practice of large-scale machine learning systems
Applied probability, statistics
Theory, algorithms, implementation and applications of optimization
abtin@cs.wisc.edu
jiaqicheng@cs.wisc.edu
iakovidis@wisc.edu
mingchen@cs.wisc.edu
amaran@cs.wisc.edu
jmcmahan@wisc.edu
dbpatel5@wisc.edu
pittas@wisc.edu
sdroievski@wisc.edu
ihm2@wisc.edu
su228@wisc.edu
zztang@wisc.edu
pxiong79@wisc.edu
saikumar@cs.wisc.edu
benyoung@cs.wisc.edu
zarifis@wisc.edu
Thesis: Algorithms and Information-Computation Trade-offs in High-Dimensional Statistical Estimation
Advisor: Ilias Diakonikolas
Thesis: Data-Driven Search with Costly Information: When to Open Pandora's Box
Advisor: Christos Tzamos
Thesis: A Journey Through Some Computational Problems
Advisor: Jin-Yi Cai
Thesis: Learning From Imperfect Data: Noisy Labels, Truncation, and Coarsening
Thesis: Efficient Statistical Inference Under Sampling and Computational Constraints
Thesis: Lower Bounds Related to Polynomial Identity Testing, Circuit Minimization, and Inversion Minimization
Advisor: Dieter van Melkebeek
Thesis: The Power of Simple Pricings for Revenue and Welfare Maximization
Advisor: Shuchi Chawla
Thesis: Approximate Complexity in Statistical Mechanics: Counting and Sampling in the Six- and Eight-Vertex Models
Thesis: Complexity and Expressibility of Counting Graph Homomorphism Problems
Thesis: Complexity Classification of Counting Problems on Boolean Variables
Thesis: Simple and Robust Mechanism Design
Thesis: Derandomizing Isolation and Polynomial Identity Testing
Thesis: A Study of the NEXP vs. P/poly Problem and its Variants
Advisor: Eric Bach
Thesis: Complexity Classification of Exact and Approximate Counting Problems
Thesis: Towards a Unified Analysis Framework for Online Network Design
Thesis: Advances in the Computational Complexity of Holant Problems
Thesis: The Artin-Mazur Zeta Function of a Rational Map in Positive Characteristic
Thesis: Approximations in Bayesian mechanism design for multi-parameter settings
Thesis: Prior Robust Optimization
Thesis: Approximation Algorithms for Network Design and Partitioning Problems
Thesis: Advancing Algebraic and Logical Approaches to Circuit Lower Bounds
Thesis: Dichotomy Theorems for Holant Problems
Thesis: Deterministic Simulations and Hierarchy Theorems for Randomized Algorithms
Thesis: Time-Space Lower Bounds for Satisfiability and Related Problems on Randomized Machines
Thesis: Two Number-Theoretic Algorithms that Illustrate the Power and Limitations of Randomness
Thesis: Computational Aspects of Modular Forms and Elliptic Curves
Thesis: On Some Computational Problems in Randomization, Interaction and Inapproximability