Projet SMA-Sync

Offre de stage 2025 - Master 2 Recherche

Approche de modélisation hétérogène pour la synchronisation d’horloges circadiennes

À propos du projet

Le projet SMA-Sync adresse à la fois un défi méthodologique et un défi de modélisation à grande échelle en chronobiologie. Son originalité est d’appliquer, à différents types de réseaux (horloges, métabolisme, homéostasie globale…) et à différents niveaux d’échelle, le formalisme de modélisation le plus adapté. A cet effet, nous utiliserons les systèmes multi-agents pour superviser les communications entre ces formalismes. Là où la modélisation à grande échelle en biologie est abordée par des approches hybrides ou multi-vues, nous proposons une approche par formalismes hétérogènes interagissant et coopérant, via les systèmes multi-agents, qui prenne en compte une vision systémique des rythmes circadiens. Les méthodes formelles seront utilisées dans les agents pour la délégation de preuves de Lemmes. Les retombées potentielles couvrent des volets majeurs de la chronobiologie médicale, telles que la détection de la désynchronisation circadienne ou la chronothérapie.