We perform research in various areas of Computer Science, spanning the range from theoretical to applied.

A core competency at the institute is in the area of:

  • Parallel computing (HPC & Cluster)
  • Distributed computing (Cloud & Grid)

In addition we also work on research problems related to:

  • Theoretical Computer Science (with a special interest in probabilistic, game-theoretic and complexity theoretic methods)
  • Software Engineering and Formal Methods
  • Soft Computing and Heuristics
  • Symbolic Computation
  • Knowledge Management
  • Discrete Approaches to Complex Systems
  • Computer Security
  • Artificial Intelligence and Multi-Agent Systems

Research projects

Former Research Projects