Home of part of my Master’s thesis (Computational Models and Complexity Questions) work.