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 in research evaluation (rev lab)
◊optimization laboratory for data mining (oldam)
◊territorial information system for the italian cultural heritage (herilab)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -