Project SMA-Sync

Internship offer 2025 - Master 2 Research

Heterogeneous Modeling Approach for Circadian Clock Synchronization

About the project

The SMA-Sync project addresses both a methodological challenge and a large-scale modeling challenge in chronobiology. Its originality lies in applying the most suitable modeling formalism to different types of networks (clocks, metabolism, global homeostasis, etc.) and across various scales. To this end, we will use multi-agent systems to oversee communications between these formalisms. While large-scale modeling in biology is typically approached through hybrid or multi-view methods, we propose an approach based on interacting and cooperating heterogeneous formalisms, via multi-agent systems, that takes into account a systemic view of circadian rhythms. Formal methods will be used in the agents to delegate Lemma proofs. The potential outcomes cover major aspects of medical chronobiology, such as detecting circadian desynchronization or chronotherapy.