Software Technology

From 1/1 2017 the Software Technology division has been divided into three new divisions, Formal Methods, Functional Programming and Information Security.

Information about the new divisions will soon be available to full extent.


The division pursues research and education within a broad field of software engineering and technology.

Our research can be classified as follows:

  • Functional programming. The emphasis is on design, verification and application of domain specific embedded languages.
  • Formal methods. Development and use of formal software verification approaches based on model checking, testing, automated reasoning, and contract analysis.
  • Language-based security. Development of security models and software construction methods for secure systems based on programming language technology.
  • Language Technology. Grammar based multilingual digital communication.

Published: Wed 27 Nov 2013. Modified: Wed 04 Jan 2017