Research Direction

Our research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems, in particular (tools in whose development we were involved are given in parentheses):

The conceptional basis of our work is in software engineering, programming languages, data structures and efficient algorithms, and mathematical logic. Our goal is not only to develop new concepts, but also to provide efficient tool implementations derived from the research results.

Description of projects in German

Prospective Students

Bachelor and Master Theses

For more information about theses on Bachelor and Master level, please visit our teaching page.

More About Our Topics