Description: My interests are in the broad area of Software Engineering, particularly SE issues in Object-Oriented and Distributed Systems. I am particularly interested in specification and verification questions. I am also very interested in approaches to effective STEM education including use of technology tools for improving education (see links titled "CONSIDER" under "Education" below).
Here are some recent papers (most are preliminary versions of papers whose more complete/revised versions appeared in conferences/journals etc.):
Related to Android:
Related to design patterns:
Some other (less recent) papers:
Comments are welcome: email@example.com.