Courses Taught
- CS 671: Program Lang Concepts&Features
- CS 735/835: Intro Parallel & Distrib Prog
- CS 745/845: Formal Spec & Verf of Systems
- CS 761: Program Lang Concepts&Features
- CS 761/861: Program Lang Concepts&Features
- CS 861: Program Lang Concepts&Features