乐播传媒

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. 听

Follow us on Twitter.听To hear about upcoming talks, events, and other opportunities, please join听the听.

Check out our Theory Seminar and Theory Reading Groups.听

We're grateful to have our internal group discussions powered by a sponsored hosted instance of听 ().

Positions

• We are a听growing group, and are currently at both the master and doctoral level.
• We frequently mentor undergraduates (and occasionally high school students) in research projects. If you share interests with one of the professors in the group, please reach out to them by email directly to inquire about potential opportunities. (Not limited to CU students.)

Faculty

(Core faculty in the CS Theory Group)

(joined听Jan '24!):听lattices, fine-grained complexity, geometric and algebraic algorithms
:听theoretical machine learning, algorithmic economics, symbolic dynamics
: computational complexity (esp.听algebraic and geometric), algebraic algorithms, complex systems and dynamics, complex networks
:听cyber-physical system analysis,听stochastic systems, logic and automata
: algorithmic game theory, theoretical machine learning, differential privacy

Theory-Associated Faculty

(Faculty from across the university who are at least "CS Theory"-adjacent in terms of their research, and/or whom the Theory Group frequently interacts with)

, Applied Math:听convex and non-convex optimization, signal processing, numerical linear algebra, compressed sensing and sparse/low-rank recovery
:听cryptography,听combinatorial algorithms, graph theory
, Math: algebraic geometry (curves, abelian varieties, cubic threefolds, vector bundles, moduli spaces)
, CS &听Telecommunications:听optimization, control, game theory, networked听systems theory
Aaron Clauset, CS听&听BioFrontiers Institute: network science, computational social science, computational systems biology
, Physics:听quantum computation, quantum error correction, and quantum measurement theory
Emiliano Dall'anese,听Electrical, Computer, and Energy Engineering (ECEE):听Online optimization, learning, data-driven control, cyber-physical systems, energy systems
, Math: number theory (finding rational points on curves and abelian varieties), space-time codes, cryptography
, Math: algebra, logic, combinatorics
, Math: random matrices and randomized algorithms
, 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)
, CS: probabilistic modeling and graphs, data-driven models with physical constraints, uncertainty quantification
, CS (Adjoint) and Leiden University:听DNA computing,听theory of concurrent systems, theory of transition systems, theory of traces,听graph transformations,听formal languages and automata, 2-structures
, CS:听cyber-physical system analysis, probabilistic program听verification, randomized algorithms
, Math: cryptography and number theory, including post-quantum cryptography
, Math (emeritus): algebra, combinatorics, logic (including computational problems)
, Math: algebraic geometry (logarithmic geometry, deformation theory, moduli of curves, Gromov-Witten theory)

Postdocs

Former

(starting as Assistant Professor at University of Memphis Dept. of Mathematics in Fall '24)
(now Assistant Professor at Colorado State University)
(now at U. Warwick)
Eric Reckwerdt (now Instructor in the post-bacc program at CU Boulder)

Ph.D. 乐播传媒

Robert Green
Melody Hsu

Drona Khurana

Elias Lindgren



Elise Tate

Former

Maya Ornstein (Math, Ph.D. 2023, now Instructor at U. Colorado Boulder Mathematics)
(Ph.D. 2023, now postdoc at UC Santa Barbara)
(Ph.D. 2023, now postdoc at the U. Colorado BioFrontiers Institute)
(Ph.D. 2023, now Assistant Professor at the College of Charleston Department of Computer Science)
(moved to UC Santa Cruz with his advisor)
(Ph.D. 2022, now Applied Scientist at Amazon)
(Ph.D. 2022, Assistant Professor at the Boston College Department of Computer Science starting Fall '24, previously NSF postdoc @ Harvard EconCS)
(Math, Ph.D. 2019, now Software Engineer at Google)

Master's 乐播传媒

Undergraduate Researchers

Current

Lucy Pipkorn* (post-bacc researcher)

Former

Mabel Cluff (senior thesis defended 2023)
Nathaniel Collins (senior thesis defended 2023, now Ph.D. student at Colorado State University Dept. of Mathematics)
Emma Goodwill听(senior thesis defended 2022)
Robert Gomez (senior thesis defended 2021)
(senior thesis defended 2020)
(American U. Beirut, Summer 2019 and 2020, now Ph.D. student at 脡cole Normale Sup茅rieure)
(high school, Summer 2020, now undergrad at Carnegie Mellon University)
(high school, Summer 2020, now听 undergrad at The University of Chicago)
Robert Cope (Fall 2019)
Arthur Pellegrino (Summer 2019)
(senior thesis defended Spring 2019)
Sam Schlesinger (U. Mass., Amherst, Summer 2018)
(Amherst, Summer 2017, now @ Harvard CS PhD program)
Michael Vienneau (academic year 2017-2018)
Nicole Woytarowicz (senior thesis defended Spring 2017)
Yang Song (academic year 2016-2017)
(senior thesis defended Spring 2017)
Elliot Gorokhovsky (high school, during academic year 2016-2017)

Graduate Courses

Note: 5xxx denotes master's-level, 6xxx denotes PhD-level, 7000 denotes a topics course that may only run once or sporadically, 4xxx denotes (joint with) an upper-level undergraduate course.

Core Theory

CSCI 5454: Algorithms []
CSCI 5444: Theory of Computation听[]
CSCI 5114: Practical Algorithmic Complexity [started Fall 2019, every other year]
CSCI 5654: Linear and Integer Programming听[] []
CSCI 6114: Computational Complexity Theory [, every other year]
CSCI 6214: Randomized Algorithms [new course! Fall 2021, every other year]
CSCI 6314: Algorithmic Economics听[new course! First offering Spring 2022, similar to听]
CSCI 6564: Advanced Algorithms听[]
CSCI 5254: Convex Optimization听[]
APPM 5630: Advanced Convex Optimization [Spring of odd years, ]
CSCI 7000:听Cryptography and Cryptanalysis [听(applied)]

Related Courses

CSCI 7000: Topics in CS:听Lattices in Computer Science [Spring '24]
CSCI 7000:听听(aka "Advanced Counting")
CSCI 7000: Topics in CS:听Online Machine Learning, E-Values, and Markets [Fall '23]
APPM 4490/5490 / sometimes CSCI 7000: Theory of Machine Learning [; ]
CSCI 5314: Algorithms in Molecular Biology听[]
CSCI 5352: Network Analysis and Modeling []
MATH 4440/5440: The Mathematics of Coding and Cryptography []
MATH 8174: Topics in Algebra: Mathematical Cryptography [Spring '24, ]
CSCI 7000: Topics in CS: Tensors and Computational Complexity [Fall '17]
CSCI 5854: Foundations of Cyber-Physical Systems

Emeriti and Past Faculty

, at CU 2017-2021, now at UC Santa Cruz
, Distinguished Professor Emeritus
, Professor Emeritus