The Institute 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.
 
Laboratories
◊laboratory for biomathematics (biomatlab)
◊laboratory for enterprise knowledge and systems (leks)
◊laboratory for networks and multimedia (netlab)
◊optimization laboratory for data mining (oldam)
Research Groups
 computational and systems biology
 discrete mathematics for computer science
 information systems and knowledge bases
 logic and theory of programming
 mathematical modeling in biology and medicine
 mathematical optimization and operations research
 pathophysiology, metabolism and immunology
 systems and control theory
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -