Computational and Theoretical Foundations