· Design of programming
languages (CS263 at UC Berkeley, Spring 1997)
· Topics in security
(CS290X at UC Santa Cruz, Fall 2001)
· Programming languages
(CS203 at UC Santa Cruz, Spring 2002)
· Programming languages
(CS203 at UC Santa Cruz, Fall 2002)
· Advanced computer security
(CS223 at UC Santa Cruz, Spring 2003)
· Programming languages
(CS203 at UC Santa Cruz, Spring 2004)
· Advanced computer security
(CS223 at UC Santa Cruz, Spring 2004)
· Advanced computer security
(CS223 at UC Santa Cruz, Spring 2005)
· Advanced computer security
(CS223 at UC Santa Cruz, Spring 2006)
· Advanced computer security
(CS223 at UC Santa Cruz, Fall 2012)