Welcome to the website of the CS theory group at CU Boulder! Our faculty and students research all aspects of theoretical computer science, from core areas such as algorithms, complexity, and cryptography, to connections with other fields such as machine learning, algebraic geometry, economics, dynamical systems, biology, and control theory.
Check out our Theory Seminar.
We are a growing group, and are currently taking on students at both the master and doctoral level.
Our college is hiring tenure-track faculty at all levels in Quantum Information, Computing, & Engineering. We encourage quantum theorists to apply! Details and application here.
Our department is also hiring in Machine Learning.
Keep an eye out in the coming years for positions in CU Boulder's new CUbit Quantum Initiative!
John Black: cryptography, combinatorial algorithms, graph theory
Rafael Frongillo: theoretical machine learning, algorithmic economics, symbolic dynamics
Joshua Grochow: computational complexity (esp. algebraic and geometric), algebraic algorithms, complex systems and dynamics, complex networks
Alexandra Kolla: spectral graph theory, unique games conjecture, algorithms, complexity, convex programming, quantum computing
Ashutosh Trivedi: cyber-physical system analysis, stochastic systems, logic and automata
Bo Waggoner (starting Aug 2019): algorithmic game theory, theoretical machine learning, differential privacy
Stephen Becker, Applied Math: convex and non-convex optimization, signal processing, numerical linear algebra, compressed sensing and sparse/low-rank recovery
Sebastian "Yano" Casalaina-Martin, Math: algebraic geometry (curves, abelian varieties, cubic threefolds, vector bundles, moduli spaces)
Lijun Chen, CS & Telecommunications: optimization, control, game theory, networked systems theory
Aaron Clauset, CS & BioFrontiers Institute: network science, computational social science, computational systems biology
David Grant, Math: number theory (finding rational points on curves and abelian varieties), space-time codes, cryptography
Keith Kearnes, Math: algebra, logic, combinatorics
Peter Mayr, Math: algebra, foundations, computational problems
Claire Monteleoni, CS: machine learning algorithms and theory (data streams, unsupervised learning, latent structure, privacy), applications for social good (climate informatics, environment, sustainability)
Grzegorz Rozenberg, CS (Adjunct) and Leiden University: DNA computing, theory of concurrent systems, theory of transition systems, theory of traces, graph transformations, formal languages and automata, 2-structures
Sriram Sankaranarayanan, CS: cyber-physical system analysis, probabilistic program verification, randomized algorithms
Graeme Smith, Physics and JILA: quantum information, quantum computing, Shannon theory, error correction, physics of information
Katherine Stange, Math: cryptography and number theory, including post-quantum cryptography
Ágnes Szendrei, Math: algebra, combinatorics, logic (including computational problems)
Jonathan Wise, Math: algebraic geometry (logarithmic geometry, deformation theory, moduli of curves, Gromov-Witten theory)
Robert Cope (CU Boulder)
Elliot Gorokhovsky (ASU)
Luke Meszar (CU Boulder)
Michael Vienneau (CU Boulder)
Yang Song (CU Boulder)
Sam Schlesinger (U. Mass., Amherst, Summer 2018)
Jamie Tucker-Foltz (Amherst, Summer 2017, soon-to-be Churchill Scholar @ Cambridge - congrats!)
Nicole Woytarowicz (CU Boulder, senior thesis defended Spring 2017)
Brennan McConnell (CU Boulder, senior thesis defended Spring 2017)
CSCI 5454: Algorithms [recent offering]
CSCI 5444: Theory of Computation [recent offering]
CSCI 5114: Practical Algorithmic Complexity [new course! First offering Fall 2019]
CSCI 5654: Linear and Integer Programming [recent offering] [coursera]
CSCI 6564: Advanced Algorithms [recent offering]
CSCI 5254: Convex Optimization [recent offering]
CSCI 7000: Cryptography and Cryptanalysis [recent offering (applied)]
CSCI 5314: Algorithms in Molecular Biology [recent offering]
CSCI 5352: Network Analysis and Modeling [recent offering]
CSCI 7000: Algorithmic Economics and Machine Learning [recent offering]
MATH 4440/5440: The Mathematics of Coding and Cryptography [recent offering]
CSCI 7000: Tensors and Computational Complexity [offered Fall '17]
CSCI 5854: Foundations of Cyber-Physical Systems