The SynLab aims at the mathematical generalization of application-specific advances achieved in the framework of the research campus MODAL. Its focus is on exact methods for solving a broad class of discrete-continuous optimization problems in combination with advanced methods of machine learning.
This requires advanced techniques for structure recognition, consideration of complex restrictions from practice, and the efficient implementation of mathematical algorithms on modern computer architectures. The results are bundled in open-source software tools, complemented by a range of high-performance methods for specific applications with a high degree of innovation.