Paul Christiano, PhD Student, Theory of Computing Group, University of California at Berkeley on May 2, 2015.