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 and application of domain specific embedded languages for various applications.
- 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.
Head of DivisionPatrik Jansson