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.
 
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
Laboratories

laboratory for biomathematics (biomatlab)
laboratory for enterprise knowledge and systems (leks)
laboratory for studies on research and technology transfer (rtt lab)
optimization laboratory for data mining (oldam)
territorial information system for the italian cultural heritage (herilab)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -