My main research interests
are in Specification and Verification issues in Software Systems and in
Higher Education-related issues.
A very recent interest is the possible uses of video games for STEM education.
(Google Scholar Profile)
Until a few years ago, I was Associate Chair of the CSE Dept.
Until a few years ago, I was also chair of the department's undergraduate studies committee. I continue to play a very active role on that committee.