Theoretical Computer Science at Boston University

Welcome to the Theoretical Computer Science (TCS) research group. Research in TCS (and in our group) encompasses diverse areas such as theory of computation, complexity, sublinear algorithms, optimization, distributed and parallel computing, data privacy, machine learning and more. The common theme behind the TCS approach to these research directions is a focus on precise models and rigorous mathematical analysis.

We hold a weekly Theory Seminar. Currently, we meet Mondays from 12:30 - 1:30pm simultaneously in person and over Zoom. For other events and general announcements, you can subscribe to the TCS mailing list here.

If you are interested in joining the TCS research group, potential PhD students should apply either to the Department of Computer Science or the Faculty of Computing & Data Sciences PhD programs, depending on their interests and intended faculty advisors. Inquiries about postdoc positions should be directed to faculty directly.

Computational Complexity, Data Privacy
Algs & ToC
Cryptography, Network and System Security, Cybersecurity and Law
Sec
Optimization, Algorithms, Machine Learning Theory
Algs & ToC
Differential Privacy, Programming Languages, Formal Methods
PL
Reliable Computation, Algorithmic Information Theory
Algs & ToC
Algorithmic Mechanism Design & Game Theory, Algorithms, Microeconomics
Algs & ToC
Algorithms
Algs & ToC
Algorithms, Probability, Combinatorics
Algs & ToC
Computational Complexity
Algs & ToC
Complexity, Average-Case Analysis, Fine-Grained Complexity
Algs & ToC
Algorithms for Big Data, Sublinear Algorithms, Streaming
Algs & ToC
Reinforcement Learning, Bandits, Online Learning
ML
Sublinear Algorithms, Property Testing, Private Data Analysis
Algs & ToC
Cryptography
Sec
Data Privacy, Machine Learning, Cryptography, Algorithms
Algs & ToC
Sec
Cryptography, Information Security, Distributed-Ledger Technology
Sec
Cryptography
Sec
Machine Learning Theory, Game Theory, Reinforcement Learning
ML
Applied Cryptography
Sec
Algs & ToC
Algorithmic Game Theory and Mechanism Design, Algorithms
Algs & ToC
Cryptography
Sec
Complexity Theory and Algorithms
Algs & ToC
Algs & ToC
Quantum Computation, Foundations of Computer Science
Algs & ToC
Sec
Differential Privacy, Learning Theory
Algs & ToC
Algs & ToC
Sec
Optimization, Algorithms, Machine Learning Theory
Algs & ToC
Responsible AI, Privacy, Machine Learning, CS & Law
Algs & ToC
Sec
Complexity Theory, Fixed Parameter Tractability, Circuit Complexity
Algs & ToC
Cryptography, Differential Privacy, Privacy Enhancing Technologies
Algs & ToC
Sec
Complexity theory
Algs & ToC
Sublinear Algorithms, Property Testing
Algs & ToC
Algorithms
PL
Machine Learning, Optimization
Algs & ToC
Algs & ToC
Optimization, Machine Learning Theory
Algs & ToC
Algorithms, Complexity
Algs & ToC
Algs & ToC
Differential Privacy, Adaptive Data Analysis, Learning Theory
Algs & ToC
Sec
Algs & ToC
Theory and Practice of Data Privacy
Sec
Algs & ToC
Sublinear Computation, Approximation Polynomials, Quantum Computation
Algs & ToC
Data Privacy, Algorithms
Algs & ToC
Sec
Cryptography, Complexity
Algs & ToC
Sec
Proof Systems, Cryptography
Algs & ToC
Sec
Bandits, Reinforcement Learning
Algs & ToC
Algorithms
Algs & ToC
Sublinear algorithms, randomness in computation
Visiting PhD student from the University of Waterloo.
Algs & ToC