Software Engineering

Since October 2025, Prof. Dr. Joel Greenyer serves as Chair of the Software Engineering Group.

The Software Engineering Group researches and develops methods and tools for the systematic engineering of dependable intelligent software systems.

A central research question is how model-driven, formal, and AI-based approaches can be combined both to support human developers through automated tools and intelligent assistance techniques (at design time) and within intelligent software systems themselves (at runtime) in order to enable safe, efficient, and explainable solutions.

In teaching, the group offers lectures, practical labs, and seminars covering both foundational and advanced topics in software engineering, including programming and modeling, collaborative software development, design patterns, software quality and testing, model-driven engineering, reinforcement learning, and the modeling of reactive systems.