Topics in Theoretical Computer Science (Spring 2015)