Foundation Theory

Our work on Foundational Theory focuses on the study of the applied logic, algorithms, computational models, and methods that form the basis of computer science. Studying the foundations of computing allows us to build more reliable systems and push the frontiers of computing while better understanding the relationship between computers and the world around us using computational complexity theory and other approaches.

Computer Science faculty in this area include:
Funda Ergun, Daniel Friedman, Steven Myers, Paul Purdom, Gregory J. E. Rawlins, Dirk Van Gucht, Qin Zhang