Research Center for Modeling and Simulation (MODUS)
Recognize relationships, predict developments, improve decisions – formal methods facilitate the use of modern information technology for expedient acting based on a better understanding of real phenomena.
MODUS pursues this mission as a platform for cooperations between application research and research in formal methods. Such cooperations foster the scientific progress at the borders of the subject areas. This is documented by publications in scientific journals and project web pages..
You have got a challenge to master, and you have the suspicion that formal methods like mathematics or logic could help. Talk to us – we might have an idea, and sometimes your challenge leads to a challenging question in our subjects. In that case, your challenge and our methods have the potential to become a MODUS project. In our gallery of projects you find examples, how we could proceed also in your case. We look forward to your challenge!