My main research interests
are in Specification and Verification issues in Software Systems and in
Higher Education-related issues.
(Google Scholar Profile)
Until a couple of years ago, I was Associate Chair of the CSE Dept.
Until last year, I was chair of the department's undergraduate studies committee. I continue to play a very active role on that committee.