Project for Theory of Computation