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-4373

shuchi@cs.wisc.edu

Algorithms for combinatorial, stochastic, and online optimization; applications to economics; algorithmic mechanism design; learning theory.

CS-4387

ilias@cs.wisc.edu

Algorithms, Learning Theory, Machine Learning, Applied Probability

CS-4390

dieter@cs.wisc.edu

Complexity theory: lower bounds for NP-complete problems, pseudorandomness and derandomization, quantum computing.

CS-4375

tzamos@cs.wisc.edu

Algorithmic game theory and mechanism design, learning theory, fine-grained complexity.

Algorithms for combinatorial, stochastic, and online optimization

Formal Verification, Randomized Algorithms, Differential Privacy

Data processing, data pricing, and managing data under uncertainty

Computability theory and applications to model theory

Applied probability, statistics

vakilian@mit.edu

jialu@cs.wisc.edu

gergatsouli@wisc.edu

hovarau@wisc.edu

kontonis@wisc.edu

tl@cs.wisc.edu

jmcmahan@wisc.edu

rmoreno@wisc.edu

amorgan@wisc.edu

jongho.park@wisc.edu

rezvansangsa@wisc.edu

sdroievski@wisc.edu

sh@cs.wisc.edu

yxsun@cs.wisc.edu

yifengt@cs.wisc.edu

zarifis@wisc.edu

Thesis:Simple and Robust Mechanism Design

Advisor:Shuchi Chawla

Thesis:Derandomizing Isolation and Polynomial Identity Testing

Advisor:Dieter van Melkebeek

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

Advisor:Jin-Yi Cai

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