Spring 2014: CSCI-4430 & CSCI-6969 Programming Languages
My research interests are in the areas of software engineering, compilers, and programming languages. Particularly, I am interested in static and dynamic program analysis, and its applications to software verification, testing and understanding.
My Current Students:
Wei Huang, PhD student
Yao Dong, PhD student
Peter, Katarina and Antun