Druckansicht der Internetadresse:

Research Center for Modeling and Simulation (MODUS)

Print page

MODUS competences


The core methods team of MODUS masters a broad range of formal methods, suitable to attack various application challenges. The formal methods usually come from Mathematics, Computer Science, and Logic. The applicability is manifold. Challenge us: Explain your application challenge to us, e.g., in our weekly seminar. And we assess whether we are in command of a suitable method or whether we can develop one.


Data Management and Analysis

Multi-Agent Systems



Systems and Control Theory

Board of Directors: Prof. Dr. Jörg Rambau, Prof. Dr. Lars Grüne and Prof. Dr. Vadym Aizinger

Facebook Twitter Youtube-Kanal Instagram LinkedIn UBT-A Contact