18.434 Seminar Theoretical Comp Science