Equipe de recherche CONTRAINTES

Programmation par contraintes

Présentation de l'équipe

L'équipe-projet CONTRAINTES étudie les fondements théoriques, la conception, les implémentations et les applications des langages de règles et des techniques de résolution de contraintes dans deux domaines: l'optimisation combinatoire et la biologie des systèmes. Plus généralement dans ce second domaine, Contraintes développe des méthodes formelles pour la biologie des systèmes et explore l'intégration étroite des approches in silico et in vivo en biologie systémique et synthétique.

Axes de recherche

  • Langages de règles,
  • Algorithmes de résolution de contraintes,
  • Optimisation combinatoire,
  • Méthodes formelles pour la biologie systémique et synthétique,
  • Intégration des approches in silico et in vivo.

Logiciels

Relations industrielles et internationales

  • Associate team with Ron Weiss's Lab, MIT, USA
  • ANR Avenir Iceberg (coordinator)
  • ANR Blanc Net-WMS-2 (coordinator)
  • ANR Blanc Syne2arti (coordinator)
  • OSEO BioIntelligence (Dassault-Systèmes coordinator)
  • EraNet SysBio C5SYS (F. Lévi, INSERM Villejuif, and D. Rand, U. Warwick UK, coordinators)
  • Action d'envergure INRIA-INSERM COLAGE
  • Action d'envergure INRIA-INRA REGATE

Mots-clés : Langages de règles Méthodes formelles Biologie numérique Optimisation combinatoire Logique Contraintes Systèmes hybrides Biologie systémique Biologie synthétique

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social