La modélisation et la simulation en biologie des systèmes a pour but de comprendre le comportement dynamique des cellules vivantes. Les connaissances en biologie s'accumulant rapidement, la modélisation et la simulation doivent faire face à des systèmes de grande taille, au contrôle complexe et aux effets stochastiques. Les approches formelles de modélisation sont donc essentielles pour la vérification et la prédiction du comportement de tels systèmes. L'équipe Biocomputing développe et étudie des langages pour la modélisation et simulation de systèmes bio-moléculaires et méthodes d'analyses statiques associées. Notre approche est fondée sur les langages de programmation concurrente avec une sémantique stochastique.