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
 discrete mathematics for computer science
 logic and theory of programming
 mathematical modeling in pathophysiology (fisiomat)
 modeling, control and identification of complex systems (mcisco)
 optimization, discrete mathematics and applications (optima)
 optimization, modeling and algorithms for bioinformatics and systems biology (biosys)
 pathophysiology, metabolism and immunology
 software and knowledge-based systems (saks)
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)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -