Some Courses

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)