Our mission is to design formal models and to use them
to understand, control and optimize the behavior of complex systems.
We develop methods and tools in different disciplines: Discrete Mathematics, Mathematical
Optimization, Statistics, Formal Logic, Computer Science,
Control Theory, Systems Science.
We concretely apply new and existing tools to solve relevant problems in Biomedicine,
Transportation, and Enterprise Management.