Teaching

• CMPSC 447, Software Security, Spring 24, Spring 19

• CSE 522, Program Analysis, Spring 23, Spring 21

• CMPSC 461, Programming Language Concepts, Spring 22, Spring 20, Spring 18, Spring 17

• CSE 597, Special Topics on Binary-Level Program Analysis, Spring 19

• CSE 597, Special Topics on Theorem Proving and Static Analysis, Fall 16

• CMPSC 443, Introduction to Computer and Network Security, Spring 16

• CSE 262, Programming Languages, Fall 15, Fall 14, Spring 14, Fall 13, Spring 13, Fall 12, Spring 12, Fall 11, Fall 10

• CSE 411, Advanced Programming Techniques, Fall 15, Fall 14, Fall 13

• CSE 334/434, Software System Security, Fall 12, Fall 10, Fall 08

• CSE 497, Advanced Programming Languages, Fall 11

• CSE 216, Software Engineering, Spring 10, Spring 09

• CSE 397/497, Programming Languages Design & Analysis Fall 09