Software Science

  1. You are here:
  2. Start
  3. DSV
  4. Research
  5. Research areas
  6. Software Science

Software science

The software science group conducts research centered around methods, techniques, and tools for the creation, analysis and application of software systems. The research is performed using a wide range of methods:

  • Theoretically: programming languages, algorithms and type systems used to create software systems;
  • Empirically: experiments and systematic observations of software
    systems to understand language construct uses, type systems or algorithmic behavior when e.g., analysing large amounts of data, measuring properties of software systems and constructing tools to support building better software

Focus areas

Type-safe parallelization

Machine learning algorithms

Logic programming