TeachingUniversityIn the Spring of 2012 I was coinstructor for UC Berkeley's CS263, the graduate level course on programming language theory (types and semantics). In Fall of 2007 I taught a special section of 61C on Bootstrapping a Compiler; here are the teaching evaluations. In Spring of 2007 I cotaught a research seminar with Ivan Sutherland In Spring of 2006 I was a teaching assistant for CS 61C OtherI have taught PreAlgebra and Algebra to prisoners at San Quentin State Prison during the Fall'05, Fall'06, Summer'07, Fall'07, Summer'08, Fall'08, Spring'09, and Fall'09 terms.
