Welcome to the CS Theory Group at UC Santa Cruz!
We are a team of passionate CSE students, researchers, and faculty, working in theoretical computer science, algorithms, data mining, logic,
formal verification, theoretical machine learning, game theory and their intersections. We aim to cultivate a warm and welcoming community for TCS, where all of these research areas can benefit from one another.
If you are in the area and want to give a talk at our Theory seminar (or just stop by to say hi), feel free to contact us at vaggos@ucsc.edu.
Recent News
- February 2024: Six UCSC teams to be competing in the annual ICPC competition (Pacific Northwest), to be held in De Anza College.
- January 2024: We have a new theory faculty position! Please check our job posting and apply!
- November 2023: FOCS 2023 was held at Santa Cruz with great success! Thank you Alexandra for organizing!
Faculty
Luca de Alfaro
Professor
Formal Verification, Logic,
Computational Ecology, Fairness in ML
Vaggos Chatziafratis
Assistant Professor
Approximation Algorithms,
Foundations of Data Science, Machine Learning Theory
Yang Liu
Assistant Professor
Data-centric and Trustworthy ML,
Large Language Models
Alexandra Kolla
Assistant Professor
Spectral Graph Theory,
Statistical Physics, Quantum Computing
John Musacchio
Professor
Network Economics,
Game Theory,
Queuing networks
C. Seshadhri
Professor
Sublinear Algorithms,
Foundations of Big Data,
Boolean Function Analysis