Membres

Nous présentons ici les différents laboratoires et équipes de recherche affiliés au groupe Bioss, par ordre alphabétique sur les villes.

Bordeaux

  • Inria, Équipe Pleiade
    Contact : David Sherman
    Domaine : Systèmes dynamiques - Réseaux métaboliques - Écologie des systèmes - Génomique comparée - Optimisation combinatoire - Géométrie computationelle - Gestion de connaissances
    Tutelles : Inria - INRAE - CNRS
    URL : https://team.inria.fr/pleiade
  • LaBRI, Équipe Image et Son
    Contact : Marie Beurton-Aimar
    Domaine : Analyse et visualisation de réseaux métaboliques, modélisation et simulation multi-agents, et apprentissage.
    url : http://www.labri.fr/index.php?n=ImageSon.ImageSon
  • LaBRI, Département Méthodes Formelles
    Contact : Loïc Paulevé
    Domaine : Réseaux booléens, synthèse de modèles formels, programmation logique, reprogrammation cellulaire
    Tutelles: Univ Bordeaux, CNRS (INS2I), Bordeaux INP
    url : https://www.labri.fr/methodes-et-modeles-formels

Évry

  • IBISC, Équipe COSMO
    Contact : Franck Delaplace
    Domaine : Modèles concurrents, réseaux de Petri, réseaux booléens, langages de modélisation et de programmation
    Tutelles: Université Paris-Saclay
    url : https://www.ibisc.univ-evry.fr/cosmo

Grenoble

  • INRIA, Équipe IBIS
    Contact : Hidde de Jong
    Domaine : Biologie systémique et synthétique bactérienne, intégration de données, systèmes dynamiques, théorie du contrôle, modèles stochastiques d'expression génique et de populations analyse et simulation numériques
    Tutelles: Inria, Université Grenoble Alpes, CNRS
    url : http://team.inria.fr/ibis
  • TIMC-IMAG, Équipe BCM
    Contact : Éric Fanchon
    Domaine : Modèles discrets, programmation logique, systèmes dynamiques continus et hybrides
    url : http://www-timc.imag.fr/rubrique44.html

Jouy en Josas

Lille

  • CRIStAL, équipe BioComputing
    Contact : Cédric Lhoussaine
    Domaine : Analyse statique, Apprentissage, Réseaux métaboliques, Réseaux de réactions
    Tutelles: CNRS (INS2I), Université de Lille, Centrale Lille, IMT Lille Douai
    url : http://cristal.univ-lille.fr/BioComputing
  • CRIStAL, Équipe Calcul Formel et Haute Performance
    Contact : François Boulier
    Domaine : Calcul symbolique
    Tutelles: CNRS (INS2I), Université de Lille, Centrale Lille, IMT Lille Douai
    url : http://cristal.univ-lille.fr/CFHP\

Lyon

Marseille

Montpellier

Nancy

  • LORIA, Équipe CARTE
    Contact : Emmanuel Jeandel
    Domaine : Systèmes dynamiques, complexité, calculabilité
    url : http://carte.loria.fr/

Nantes

  • IRCCyN, Équipe MÉFORBIO
    Contact : Olivier Roux
    Domaine : Modèles concurrents, réseaux d'interactions, formalisation des conniassances, programmation logique
    Tutelles: CNRS, Université de Nantes, Centrale Nantes, IMT Atlantique
    url : https://www.ls2n.fr/equipe/meforbio/
  • LINA, Équipe COMBI
    Contact : Damien Eveillard
    Domaine : modèles écologiques, modèles métaboliques, analyse et modélisation statique, combinatoire.
    Tutelles: CNRS, Université de Nantes, Centrale Nantes, IMT Atlantique (partenaire INRIA)
    url : https://www.ls2n.fr/equipe/combi

Nice

  • I3S, Équipe SPARKS
    Contact : Jean-Paul Comet
    Domaine : Réseaux discrets, méthodes formelles, vérification, systèmes dynamiques
    Tutelles: Université Côte d'Azur, CNRS (INS2I)
    url : http://www.i3s.unice.fr/sparks
  • I3S, Équipe MDSC
    Contact : Enrico Formenti
    Domaine : Réseaux booléens, méthodes formelles, systèmes dynamiques, automates cellulaires
    Tutelles: Université Côte d'Azur, CNRS (INS2I)
    url : http://www.i3s.unice.fr/mdsc
  • INRIA, Équipe BIOCORE
    Contact : Madalena Chaves
    Domaine : Modèles booléens, contrôle, réduction
    Tutelles: Inria
    url : https://team.inria.fr/biocore

Orsay

  • LRI, Équipe BIOINFO
    Contact : Christine Froidevaux
    Domaine : Modèles concurrents, représentation des connaissances, analyse et simulation numériques de réseaux
    Tutelles:
    url : https://www.lri.fr/equipe.php?eq=4

Paris

Rennes

  • IRISA, Équipe Dyliss
    Contact : Anne Siegel
    Domaine : Réseaux métaboliques, Microbiome, Intégration multi-échelle, modèles booléens, Web sémantique
    url : https://www-dyliss.irisa.fr
    Tutelles: Université de Rennes 1, Inria, CNRS (INS2I)

Saclay

  • INRIA, Équipe Lifeware
    Contact : François Fages
    Domaine : Vérification et synthèse de paramètres, programmation par contraintes, réduction, liens structure/dynamique
    url : http://lifeware.inria.fr
  • LIX, Équipe AMIB
    Contact : Mireille Régnier
    Domaine : Modélisation métabolique
    url : https://team.inria.fr/amib/fr

Tours

  • PRC INRAE, équipe BIOS
    Contact: Romain Yvinec
    Domaine: réseaux signalisation cellulaire des récepteurs couplés aux protéines G, modélisation dynamique déterministe et stochastique (ODE,CTMC), inférence de paramètres
    Tutelles: INRAAE, CNRS, Université de Tours
    url: http://bios.tours.inra.fr/bios_group