THESIS PROPOSALS


PhD Thesis Proposal

  • Algebraic modeling for multi-scale dynamics and evolvability of biological networks (subject).

Propositions de stage (in french)

Master 2

  • Interprétation abstraite dans les automates finis communicants : théorie et application à la biologie systémique.
    • mots clés: vérification formelle, interprétation abstraite, analyse statique, automates communicants, biologie systémique.
    • description.
  • Inférence des paramètres temporels et stochastiques des réseaux de régulation génique.
    • mots clés: estimateurs statistiques, distribution Erlang, processus stochastiques.
    • description.
  • Modélisation temporelle unificatrice des réseaux de régulation génétique et des réseaux métaboliques.
  • Vérification de propriétés temporelles quantitatives sur les réseaux de régulation biologique.
  • Application de la logique de Hoare pour la détermination des paramètres de délai dans un système de régulation génique.

Licence 3

  • Étude de la complémentarité entre différentes modélisations informatiques pour l’analyse de la traduction du cycle cellulaire chez l’oursin.

Autre 

  • Algorithmes de recherche des bassins d’attraction dans des graphes de modélisation des systèmes dynamiques complexes.

Advertisements