Theoretical Computer Science research at URCS focuses on algorithms and computational complexity, and on their applications in a wide range of fields: computational social choice theory, cryptography and security, Markov chains/counting, and much more.