|
Software Engineering and Technology
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.
- Software engineering with formal methods. Development and use of an integrated environment for development, testing, specification and verification of software.
- Language-based security. Development of security models and software construction methods for secure systems based on programming language technology.
- Software methodologies and systems. Development of tools and techniques for program analysis, with application to refactoring, version management, testing and other areas.
- Applied software engineering. Empirically based development of processes and technologies for quality assurance and cost engineering for software.
Head of DivisionBjörn von Sydow
Last modified:
January 23, 2008
| |