At the Modelling of Technical Systems (MoTeSy) research group, we develop methods for the verification and synthesis of hard- and software systems.
Of particular interest in this context are techniques that automate parts of the design flow of technical systems and aid system engineers with optimizing
the system's quality. Example applications of our research are the automatic synthesis of graphical user interface program code and the verification of
feed-forward neural networks.
We are part of the computer science department at the University of Bremen and work in collaboration with the German Research Center for Artificial Intelligence (DFKI). Head of the group is Prof. Dr. Rüdiger Ehlers.