La modélisation et la simulation en biologie des systèmes a pour but de comprendre le comportement dynamique des organismes vivants de l’échelle cellulaire à celle de populations. Les connaissances en biologie s’accumulant rapidement, la modélisation et la simulation doivent faire face à des systèmes de grande taille, avec un contrôle complexe et des effets potentiellement stochastiques. Les approches formelles de modélisation sont donc essentielles pour la description, la vérification et la prédiction du comportement de tels systèmes. L’équipe Biocomputing développe des langages et des algorithmes pour la modélisation et la simulation de systèmes vivants, ainsi que des méthodes d’analyses statiques associées. Notre approche est fondée sur les méthodes formelles et sur la sémantique des langages de programmation.