MeForBio Research group - Formal Methods for Bioinformatics

MeforBIO - Méthodes Formelles pour la Bioinformatique

Staff

Head: Olivier ROUX

 

Research field

MeForBio (Formal Methods for Bioinformatics) is a research group in bioinformatics working on the formalization and automatic reasoning of data processing and systems with temporal characteristics. MeForBio is particularly oriented towards the development of frameworks and methods that model and analyze biological systems. The team focuses mainly on:

• The complexity of the dynamics of living systems
• The simulation (non-deterministic) and the reasoning (complete and exhaustive) on a model describing a biological system
• The modeling of the steady-state response of a disturbance on a large biological system
• The integration of high-throughput experimental data into large-scale regulatory networks
• The automatic formalization of knowledge in databases of biochemical reactions

 

Research topics

 

• Dynamic modeling
• Static modeling
• Formalization of organic knowledge

MeForBio's main research axes include methods for analysis of dynamic and static models of biological systems based on discrete models, as well as methods for automatically obtaining discrete models from knowledge stored in databases on the regulation between molecules.