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.