June 21, 2010

First day of work with Stanford Computer Science Department’s Logic Group.