We do research in several areas of software systems engineering, including
- Software Engineering
- Programming Languages
- Formal Methods
- Business Process Management
- Distributed Systems
- Privacy & Security
Additional information about our research can be found here.