Interests of the Software Engineering research group include:
- Program Analysis and Verification: formal mechanisms (such as Session Logic, K-framework) applied to specify and verify different program properties.
- Software Quality: studies related to evaluation and estimation of software quality factors in large applications and in different versions, and their relation to object oriented metrics.
- Model Driven Engineering: studies related to Executable Models and their specification language (fUML) and their impact on software
- Component Based Software Engineering: deals with developing software as a composition of various third party components. Our studies address problems such as: component selection, constraint based configuration of components and different optimizations. development.