In the Spring of 2012 I was co-instructor 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 co-taught a research seminar with Ivan Sutherland

In Spring of 2006 I was a teaching assistant for CS 61C


I have taught Pre-Algebra 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.