Teaching

  • Fall 2008: CMSC 330, Organization of Programming Languages
  • Spring 2008: CMSC 838F, Language-Based Security
  • Spring 2007: CMSC 838F, Language-Based Techniques for Concurrent and Distributed Software
  • Fall 2006: CMSC 330, Organization of Programming Languages
  • Spring 2006: CMSC 631, Program Analysis and Understanding
  • Fall 2005: CMSC 330, Organization of Programming Languages
  • Spring 2005: CMSC 433, Programming Language Technologies and Paradigms
  • Fall 2004: CMSC 631, Program Analysis and Understanding
  • Spring 2004: CMSC 433, Programming Language Technologies and Paradigms
  • Fall 2003: CMSC 631, Program Analysis and Understanding
  • Spring 2003: CMSC 433, Programming Language Technologies and Paradigms

Valid HTML 4.01!