At the Modelling of Technical Systems (MoTeSy) research group, we developed methods for the verification and synthesis of hard- and software systems.
Of particular interest in this context were 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 were part of the computer science department at the University of Bremen and worked in collaboration with the German Research Center for Artificial Intelligence (DFKI). Head of the group was Dr. Rüdiger Ehlers.