theory.cis.upenn.edu

Penn CS Theory Group | Penn CS Theory Group

Theoretical computer science (TCS) looks at the computational universe around us through the lens of mathematics. The span of problems in TCS include both the design of new models for computational problems as well as the study of efficient algorithms (and computational complexity) for various tasks in well established models. In addition to being central to computer science, in recent decades, TCS has forged strong connections with several areas including biology, economics, physics and law.