Fall 2015: CSCI 2600 Principles of Software
Spring 2016: CSCI 4430 Programming Languages: We have increased the cap to 150.
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 and Former Students:
Yao Dong, PhD student
Shuran Li, MS/PhD student
Avi Weinstock, PhD student
Mark Westerhoff, MS student
Ben Kaiser, MS 2015, now at Lincoln Labs
Wei Huang, PhD 2014, now at Google
Yin Liu, PhD 2010, now at Symantec Research Labs
Ben Levinn, MS 2009
Orri Eirikson, MS 2006
Shyam Sunder, MS 2004
James Lewis, MS 2004
Peter, Katarina and Antun